Function creusot_contracts::std::slice::slice_len

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

logic 

pearlite! { x@.len() }