Function creusot_contracts::invariant::inv

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

logic(prophetic) ⚠