vstd::prelude

Function strslice_get_char

pub fn strslice_get_char<A>(_a: A, _i: int) -> char