flux_refineck::primops

Function mk_not_rules

Source 
fn mk_not_rules() -> fn(_: &[(BaseTy, Expr); N]) -> Option<MatchedRule>
Expand description

!a