Function contrafact::always[][src]

pub fn always() -> BoolFact
Expand description

A constraint which is always met