Skip to main content

fmt_data_ctor_smt

liquid_fixpoint::smt_horn

Function fmt_data_ctor_smt 

Source 
fn fmt_data_ctor_smt<T: Types>(
    ctor: &DataCtor<T>,
    f: &mut Formatter<'_>,
) -> Result