Function creusot_contracts::resolve::resolve

source ยท 
pub fn resolve<T: ?Sized>(_: &T) -> bool
Expand description

logic(prophetic) 

true