{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"//!"}]}
//! first pattern of any row in the matrix is an or-pattern, we expand it by duplicating the rest of
//! What we have described so far works well if there are no or-patterns. To handle them, if the
//! the row as necessary. For code reuse, this is implemented as "specializing with the `Or`