vstd::prelude

Function strslice_len

pub fn strslice_len<A>(_a: A) -> nat