flux_fhir_analysis::wf::sortck

Function synth_lit

Source 
fn synth_lit(lit: Lit) -> Sort