Skip to main content

fmt_kvar_as_fun

liquid_fixpoint::smt_horn

Function fmt_kvar_as_fun 

Source 
fn fmt_kvar_as_fun<T: Types>(
    kvar: &KVarDecl<T>,
    f: &mut Formatter<'_>,
) -> Result