An OCaml frontend versions an Ast, version number and some witnesses for conversion.
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 >
_typesShortcut for talking about Ast types
A construtor for recovering type equalities between two arbitrary versions.
val migration_info : types migration_infoInformation used to derive migration functions, see below