Skip to main content

fmt_sort_smt

liquid_fixpoint::smt_horn

Function fmt_sort_smt 

Source 
fn fmt_sort_smt<T: Types>(sort: &Sort<T>, f: &mut Formatter<'_>) -> Result