{"ast_node_type":"function","tokens":[{"end":62,"kind":"keyword","start":0,"text":"fn"}]}
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
impl fmt::Display for DnfExpr {
        if self.conjunctions.len() != 1 {