size_of_val_logic

creusot_contracts::std::mem

Function size_of_val_logic 

Source 
pub fn size_of_val_logic<T: ?Sized>(val: T) -> Int
Expand description

size_of_val as a logic Int value.

(open, inline) 

dead

ensures 

0 <= result