OCaml AST used by Jane Street ppx rewriters
Library ppx_ast
Module Ppx_ast . Ast_helper . Typ
val any : ?loc:loc -> ?attrs:attrs -> unit -> Migrate_parsetree.Ast_404.Parsetree.core_type
val var : ?loc:loc -> ?attrs:attrs -> string -> Migrate_parsetree.Ast_404.Parsetree.core_type

varify_constructors newtypes te is type expression te, of which any of nullary type constructor tc is replaced by type variable of the same name, if tc's name appears in newtypes. Raise Syntaxerr.Variable_in_scope if any type variable inside te appears in newtypes.

  • since 4.05