{"ast_node_type":"function","tokens":[{"end":51,"kind":"keyword","start":0,"text":"fn"}]}
    fn single_column(self) -> Vec<WitnessPat<Cx>> {
    /// Asserts that there is a single column and returns the patterns in it.
        self.0.into_iter().map(|w| w.single_pattern()).collect()