creusot_contracts::resolve

Function structural_resolve

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

logic(prophetic) 

true /* Dummy */