structural_resolve

creusot_contracts::resolve

Function structural_resolve 

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

(open, prophetic) 

dead