creusot_contracts::std::slice

Function slice_len

Source 
pub fn slice_len<T>(x: [T]) -> Int
Expand description

logic 

pearlite! { x@.len() }