{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! or-patterns separately, see the dedicated section below.
//! Now to check if a value `v` matches a pattern `p`, we check if `v`'s constructor matches `p`'s