module Ast : Migrate_parsetree.Versions.AstAst definition for this version
type types = < structure : Ast.Parsetree.structure; signature : Ast.Parsetree.signature; toplevel_phrase : Ast.Parsetree.toplevel_phrase; core_type : Ast.Parsetree.core_type; expression : Ast.Parsetree.expression; pattern : Ast.Parsetree.pattern; case : Ast.Parsetree.case; type_declaration : Ast.Parsetree.type_declaration; type_extension : Ast.Parsetree.type_extension; extension_constructor : Ast.Parsetree.extension_constructor; out_value : Ast.Outcometree.out_value; out_type : Ast.Outcometree.out_type; out_class_type : Ast.Outcometree.out_class_type; out_module_type : Ast.Outcometree.out_module_type; out_sig_item : Ast.Outcometree.out_sig_item; out_type_extension : Ast.Outcometree.out_type_extension; out_phrase : Ast.Outcometree.out_phrase; mapper : Ast.Ast_mapper.mapper; > Migrate_parsetree.Versions._typesShortcut for talking about Ast types
type Migrate_parsetree.Versions.witnesses += | Version : types Migrate_parsetree.Versions.witnessesA construtor for recovering type equalities between two arbitrary versions.
val migration_info : types Migrate_parsetree.Versions.migration_infoInformation used to derive migration functions, see below