{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// The final `Pair(Some(_), true)` is then the resulting witness.
/// See the top of the file for more detailed explanations and examples.