Function vstd::prelude::strslice_len

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