{"ast_node_type":"function","tokens":[{"end":48,"kind":"keyword","start":0,"text":"fn"}]}
    fn len<M: Machine<'tcx, Provenance = Prov>>(
    /// Get the length of a slice/string/array stored here.
        &self,