vstd::prelude

Function strslice_is_ascii

pub fn strslice_is_ascii<A>(_a: A) -> bool