{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// The input `Matrix` and the output `WitnessMatrix` together match the type exhaustively.
/// The key steps are: