Function creusot_contracts::resolve::structural_resolve

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

logic(prophetic)

true /* Dummy */