let mkmutable =
              function
              | Ast.MuMutable -> Mutable
              | Ast.MuNil -> Immutable
              | _ -> assert false