{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// Does not mean anything for bytewise provenance! But can be useful as an optimization.
    /// Check if there is ptr-sized provenance at the given index.
    pub fn get_ptr(&self, offset: Size) -> Option<Prov> {