Skip to main content

fmt_const_decl

liquid_fixpoint::smt_horn

Function fmt_const_decl 

Source 
fn fmt_const_decl<T: Types>(
    decl: &ConstDecl<T>,
    f: &mut Formatter<'_>,
) -> Result