let is_irrefut_patt = Ast.is_irrefut_patt