val error_cnt : int ref
val lm_error : unit -> string
val check_mapping_applicable :
  int -> string -> string -> Hgen_types.loc -> unit
val print_type_term :
  Format.formatter ->
  ([< `Alist of 'a * 'a
    | `Array of 'a
    | `Bool
    | `Char
    | `Float
    | `Fun of 'a * 'a
    | `Int
    | `Int32
    | `Int64
    | `Named of string
    | `Named_arg1 of 'a * string
    | `Object of 'b list * (string * 'a) list
    | `Opaque of 'a
    | `Option of 'a
    | `Record of (string * 'a * bool) array * string option
    | `Ref of 'a
    | `String
    | `Subst of 'a list * string
    | `Tuple of 'a list
    | `Unit
    | `Value
    | `Variant of string array
    > `Named_arg1 ]
   as 'a) ->
  unit
val print_ctype :
  Format.formatter ->
  ([< `Fun of
        ([< `Alist of 'b * 'b
          | `Array of 'b
          | `Bool
          | `Char
          | `Float
          | `Fun of 'b * 'b
          | `Int
          | `Int32
          | `Int64
          | `Named of string
          | `Named_arg1 of 'b * string
          | `Object of 'c list * (string * 'b) list
          | `Opaque of 'b
          | `Option of 'b
          | `Record of (string * 'b * bool) array * string option
          | `Ref of 'b
          | `String
          | `Subst of 'b list * string
          | `Tuple of 'b list
          | `Unit
          | `Value
          | `Variant of string array
          > `Named_arg1 ]
         as 'b) *
        'a
    | `Named of string
    | `Object of
        'a list *
        (string *
         ([< `Alist of 'd * 'd
           | `Array of 'd
           | `Bool
           | `Char
           | `Float
           | `Fun of 'd * 'd
           | `Int
           | `Int32
           | `Int64
           | `Named of string
           | `Named_arg1 of 'd * string
           | `Object of 'e list * (string * 'd) list
           | `Opaque of 'd
           | `Option of 'd
           | `Record of (string * 'd * bool) array * string option
           | `Ref of 'd
           | `String
           | `Subst of 'd list * string
           | `Tuple of 'd list
           | `Unit
           | `Value
           | `Variant of string array
           > `Named_arg1 ]
          as 'd))
        list ]
   as 'a) ->
  unit
val print_pat_term :
  Format.formatter ->
  [< `Bool of int
   | `Byte of int
   | `Byteseq of int
   | `Class of int
   | `Dictionary of int
   | `Double of int
   | `Enum of int
   | `Float of int
   | `Int of int
   | `Int32 of int
   | `Long of int
   | `Null
   | `Proxy of int
   | `Sequence of int
   | `Short of int
   | `String of int
   | `Struct of int ] ->
  unit
val print_expr_term :
  Format.formatter ->
  ([< `Array_get of 'a * 'a
    | `Array_lit of 'a array
    | `Bool_lit of bool
    | `Call of 'a * 'a list
    | `CallF of string * 'a list
    | `CallM of 'a * string
    | `Catch_inflated of 'a * string
    | `Catch_not_found of 'a
    | `Catch_userexn of 'a * int * 'a * int * 'a
    | `Coerce of string * string * string
    | `Coerce_expr of 'a * string * string
    | `Dtvar of string
    | `Evar of int
    | `Fail
    | `Float_lit of float
    | `Fun of int * 'a
    | `Fun0 of 'a
    | `Fun2 of int * int * 'a
    | `FunN of int list * 'a
    | `Ifthenelse of 'a * 'a * 'a
    | `Int32_lit of int32
    | `Int64_lit of int64
    | `Int_lit of int
    | `List_cons of 'a * 'a
    | `List_lit of 'a list
    | `Match1 of
        'a *
        [< `Bool of int
         | `Byte of int
         | `Byteseq of int
         | `Class of int
         | `Dictionary of int
         | `Double of int
         | `Enum of int
         | `Float of int
         | `Int of int
         | `Int32 of int
         | `Long of int
         | `Null
         | `Proxy of int
         | `Sequence of int
         | `Short of int
         | `String of int
         | `Struct of int ] *
        'a
    | `Match1_Null of
        'a *
        [< `Bool of int
         | `Byte of int
         | `Byteseq of int
         | `Class of int
         | `Dictionary of int
         | `Double of int
         | `Enum of int
         | `Float of int
         | `Int of int
         | `Int32 of int
         | `Long of int
         | `Null
         | `Proxy of int
         | `Sequence of int
         | `Short of int
         | `String of int
         | `Struct of int ] *
        'a * 'a
    | `Match_list of 'a * int * int * 'a
    | `Match_option of 'a * int * 'a * 'a
    | `Match_slice of 'a * string * int list * 'a
    | `Match_strings of 'a * (string * 'a) list * 'a
    | `Match_tuple of 'a * int list * 'a
    | `Match_variants of 'a * (string * 'a) list
    | `Mkpat of
        [< `Bool of int
         | `Byte of int
         | `Byteseq of int
         | `Class of int
         | `Dictionary of int
         | `Double of int
         | `Enum of int
         | `Float of int
         | `Int of int
         | `Int32 of int
         | `Long of int
         | `Null
         | `Proxy of int
         | `Sequence of int
         | `Short of int
         | `String of int
         | `Struct of int ]
    | `Noreturn of 'a
    | `Object of
        string *
        (([< `Call of 'c * 'a list
           | `DataObject of 'c list * (string * 'a) list * string
           | `Fun of int * 'c
           | `FunN of int list * 'c
           | `Object of string * 'b * (string * 'a) list * string
           | `Var of string ]
          as 'c)
         list as 'b) *
        (string * 'a) list * string
    | `Pair of 'a * 'a
    | `Raise of string
    | `Raise_expr of 'a
    | `Record_get of 'a * string
    | `Record_lit of (string * 'a) array
    | `String_lit of string
    | `Tuple of 'a list
    | `Typeann of 'a * string
    | `Var of string
    | `Variant of string
    > `Call `CallF `FunN `Object `Tuple `Var ]
   as 'a) ->
  unit
val print_class_term :
  Format.formatter ->
  ([< `Call of
        'a *
        ([< `Array_get of 'b * 'b
          | `Array_lit of 'b array
          | `Bool_lit of bool
          | `Call of 'b * 'b list
          | `CallF of string * 'b list
          | `CallM of 'b * string
          | `Catch_inflated of 'b * string
          | `Catch_not_found of 'b
          | `Catch_userexn of 'b * int * 'b * int * 'b
          | `Coerce of string * string * string
          | `Coerce_expr of 'b * string * string
          | `Dtvar of string
          | `Evar of int
          | `Fail
          | `Float_lit of float
          | `Fun of int * 'b
          | `Fun0 of 'b
          | `Fun2 of int * int * 'b
          | `FunN of int list * 'b
          | `Ifthenelse of 'b * 'b * 'b
          | `Int32_lit of int32
          | `Int64_lit of int64
          | `Int_lit of int
          | `List_cons of 'b * 'b
          | `List_lit of 'b list
          | `Match1 of
              'b *
              [< `Bool of int
               | `Byte of int
               | `Byteseq of int
               | `Class of int
               | `Dictionary of int
               | `Double of int
               | `Enum of int
               | `Float of int
               | `Int of int
               | `Int32 of int
               | `Long of int
               | `Null
               | `Proxy of int
               | `Sequence of int
               | `Short of int
               | `String of int
               | `Struct of int ] *
              'b
          | `Match1_Null of
              'b *
              [< `Bool of int
               | `Byte of int
               | `Byteseq of int
               | `Class of int
               | `Dictionary of int
               | `Double of int
               | `Enum of int
               | `Float of int
               | `Int of int
               | `Int32 of int
               | `Long of int
               | `Null
               | `Proxy of int
               | `Sequence of int
               | `Short of int
               | `String of int
               | `Struct of int ] *
              'b * 'b
          | `Match_list of 'b * int * int * 'b
          | `Match_option of 'b * int * 'b * 'b
          | `Match_slice of 'b * string * int list * 'b
          | `Match_strings of 'b * (string * 'b) list * 'b
          | `Match_tuple of 'b * int list * 'b
          | `Match_variants of 'b * (string * 'b) list
          | `Mkpat of
              [< `Bool of int
               | `Byte of int
               | `Byteseq of int
               | `Class of int
               | `Dictionary of int
               | `Double of int
               | `Enum of int
               | `Float of int
               | `Int of int
               | `Int32 of int
               | `Long of int
               | `Null
               | `Proxy of int
               | `Sequence of int
               | `Short of int
               | `String of int
               | `Struct of int ]
          | `Noreturn of 'b
          | `Object of string * 'a list * (string * 'b) list * string
          | `Pair of 'b * 'b
          | `Raise of string
          | `Raise_expr of 'b
          | `Record_get of 'b * string
          | `Record_lit of (string * 'b) array
          | `String_lit of string
          | `Tuple of 'b list
          | `Typeann of 'b * string
          | `Var of string
          | `Variant of string
          > `Call `CallF `FunN `Object `Tuple `Var ]
         as 'b)
        list
    | `DataObject of 'a list * (string * 'b) list * string
    | `Fun of int * 'a
    | `FunN of int list * 'a
    | `Object of string * 'a list * (string * 'b) list * string
    | `Var of string ]
   as 'a) ->
  unit
val print_types :
  bool ->
  Format.formatter ->
  (string *
   ([< `Alist of 'a * 'a
     | `Array of 'a
     | `Bool
     | `Char
     | `Float
     | `Fun of 'a * 'a
     | `Int
     | `Int32
     | `Int64
     | `Named of string
     | `Named_arg1 of 'a * string
     | `Object of 'b list * (string * 'a) list
     | `Opaque of 'a
     | `Option of 'a
     | `Record of (string * 'a * bool) array * string option
     | `Ref of 'a
     | `String
     | `Subst of 'a list * string
     | `Tuple of 'a list
     | `Unit
     | `