creusot_contracts::resolve

Function resolve

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

logic(prophetic) 

true