flux_infer::fixpoint_encoding

Function mk_implies

Source 
fn mk_implies(assumption: Pred, cstr: Constraint) -> Constraint