Skip to main content

fmt_constant_smt

liquid_fixpoint::smt_horn

Function fmt_constant_smt 

Source 
fn fmt_constant_smt<T: Types>(c: &Constant<T>, f: &mut Formatter<'_>) -> Result