Skip to main content

fmt_guard_conjunction

liquid_fixpoint::smt_horn

Function fmt_guard_conjunction 

Source 
fn fmt_guard_conjunction<T: Types>(
    guards: &[&Pred<T>],
    f: &mut Formatter<'_>,
) -> Result