| Signature : (Migrate_parsetree.Ast_412.Parsetree.signature, Migrate_parsetree.Ast_412.Parsetree.signature) t |
| Structure : (Migrate_parsetree.Ast_412.Parsetree.structure, Migrate_parsetree.Ast_412.Parsetree.structure) t |
| Toplevel_phrase : (Migrate_parsetree.Ast_412.Parsetree.toplevel_phrase, Migrate_parsetree.Ast_412.Parsetree.toplevel_phrase) t |
| Expression : (Migrate_parsetree.Ast_412.Parsetree.expression, Migrate_parsetree.Ast_412.Parsetree.expression) t |
| Core_type : (Migrate_parsetree.Ast_412.Parsetree.core_type, Migrate_parsetree.Ast_412.Parsetree.core_type) t |
| Type_declaration : (Migrate_parsetree.Ast_412.Parsetree.type_declaration, Migrate_parsetree.Ast_412.Parsetree.type_declaration) t |
| Type_extension : (Migrate_parsetree.Ast_412.Parsetree.type_extension, Migrate_parsetree.Ast_412.Parsetree.type_extension) t |
| Extension_constructor : (Migrate_parsetree.Ast_412.Parsetree.extension_constructor, Migrate_parsetree.Ast_412.Parsetree.extension_constructor) t |
| List : ('a, 'b) t -> ('a list, 'b list) t |
| Pair : ('a0, 'b0) t * ('c, 'd) t -> ('a0 * 'c, 'b0 * 'd) t |