let mkrf =
              function
              | Ast.ReRecursive -> Recursive
              | Ast.ReNil -> Nonrecursive
              | _ -> assert false