creusot_contracts::invariant

Function inv

Source 
pub fn inv<T: ?Sized>(_: T) -> bool
Expand description

logic(prophetic) ⚠