val evar_cnt : int ref
val new_evar : unit -> int
val translate_tt :
  [< `Const of 'a & 'b & 'c
   | `Exn of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Module of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Object of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Type of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > ]
  Hgen_types.CiHashtbl.t ->
  Hgen_types.TS.ty ->
  ([> `Alist of 'd * 'd
    | `Array of 'd
    | `Bool
    | `Float
    | `Int
    | `Int32
    | `Int64
    | `Named of string
    | `Option of [> `Named of string ]
    | `Record of (string * 'd * bool) array * string option
    | `String
    | `Subst of 'd list * string
    | `Tuple of 'd list
    | `Unit
    | `Variant of string array ]
   as 'd)
val e_array_to_list : 'a -> [> `CallF of string * 'a list ]
val e_map_array_pairs :
  'a * 'b * 'c * ([> `Fun2 of 'a * 'b * 'c ] as 'd) ->
  [> `CallF of string * 'd list ]
val generate_marshalling_to :
  [< `Const of 'a & 'b & 'c & 'd & 'e
   | `Exn of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Module of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Object of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Type of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > ]
  Hgen_types.CiHashtbl.t ->
  Hgen_types.TS.hnamed option ->
  Hgen_types.TS.ty -> Hgen_types.IL.expr_term * Hgen_types.IL.type_term
val generate_marshalling_to_ref :
  [< `Const of 'a & 'b & 'c & 'd & 'e
   | `Exn of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Module of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Object of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Type of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > ]
  Hgen_types.CiHashtbl.t ->
  Hgen_types.TS.ty -> Hgen_types.IL.expr_term * Hgen_types.IL.type_term
val generate_marshalling_of :
  [< `Const of 'a & 'b & 'c & 'd & 'e
   | `Exn of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Module of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Object of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Type of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > ]
  Hgen_types.CiHashtbl.t ->
  Hgen_types.TS.hnamed option ->
  Hgen_types.TS.ty -> Hgen_types.IL.expr_term * Hgen_types.IL.type_term
val generate_marshalling_of_ref :
  [< `Const of 'a & 'b & 'c & 'd & 'e
   | `Exn of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Module of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Object of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Type of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > ]
  Hgen_types.CiHashtbl.t ->
  Hgen_types.TS.ty -> Hgen_types.IL.expr_term * Hgen_types.IL.type_term
val dt_of_type :
  Hgen_types.TS.entity Hgen_types.CiHashtbl.t ->
  Hgen_types.TS.ty -> Hgen_types.IL.expr_term
val type_to_il :
  Hgen_types.TS.entity Hgen_types.CiHashtbl.t ->
  Hgen_types.IL.pad ->
  < defflag : bool; local : bool; mapped_name : string;
    meta : [< Hgen_types.single_meta_def ] list;
    name : [< Hgen_types.TS.name ]; term : Hgen_types.TS.ty; .. > ->
  unit
val all_exn_elements :
  (< data_elements : 'b array; super : 'a option; .. > as 'a) -> 'b list list
val exn_hierarchy : (< super : 'a option; .. > as 'a) -> 'a list
val is_sub_exn : (< super : 'a option; .. > as 'a) -> 'a -> bool
val exns_to_il :
  Hgen_types.TS.entity Hgen_types.CiHashtbl.t ->
  Hgen_types.IL.pad -> bool -> Hgen_types.TS.hexn list -> unit
val proxy_fun_type_of_method :
  [< `Const of 'a & 'b & 'c
   | `Exn of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Module of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Object of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Type of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > ]
  Hgen_types.CiHashtbl.t ->
  < mapped_name : string; .. > ->
  < in_args : ('d * 'e * Hgen_types.TS.ty) array; mapped_name : string; .. > ->
  Hgen_types.IL.type_term
val proxy_impl_of_method :
  [< `Const of 'a & 'b & 'c & 'd & 'e
   | `Exn of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Module of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Object of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Type of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > ]
  Hgen_types.CiHashtbl.t ->
  < mapped_name : string; .. > ->
  < in_args : ('f * 'g * Hgen_types.TS.ty) array; mapped_name : string;
    name : string; .. > ->
  int -> int -> Hgen_types.IL.expr_term
val class_fun_type_of_method :
  [< `Const of 'a & 'b & 'c
   | `Exn of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Module of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Object of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Type of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > ]
  Hgen_types.CiHashtbl.t ->
  < mapped_name : string; .. > ->
  < in_args : ('d * 'e * Hgen_types.TS.ty) array; mapped_name : string; .. > ->
  Hgen_types.IL.type_term
val class_skel_of_method :
  < in_args : ('a * 'b * 'c) array; name : string; .. > ->
  Hgen_types.IL.expr_term
val bool_term : bool -> [> `Var of string ]
val dt_of_hf :
  Hgen_types.TS.entity Hgen_types.CiHashtbl.t ->
  < in_args : (string * 'a * Hgen_types.TS.ty) array; in_classes : bool;
    mode : [< `Idempotent | `Nonmutating | `Normal ]; name : string;
    out_args : (string * 'b * Hgen_types.TS.ty) array; out_classes : 
    bool; result : Hgen_types.TS.ty; .. > ->
  [> `Object of
       string * 'c list * (string * Hgen_types.IL.expr_term) list * string ]
val intf_to_il1 :
  Hgen_types.TS.entity Hgen_types.CiHashtbl.t ->
  Hgen_types.IL.pad ->
  < mapped_name : string; .. > list Hgen_types.CiMap.t ->
  < mapped_name : string;
    name : [< `Absolute of string list | `Relative of string list ];
    op_elements : < in_args : (string * 'a * Hgen_types.TS.ty) array;
                    in_classes : bool; mapped_name : string;
                    mode : [< `Idempotent | `Nonmutating | `Normal ];
                    name : string;
                    out_args : (string * string * Hgen_types.TS.ty) array;
                    out_classes : bool; result : Hgen_types.TS.ty; .. >
                  list;
    super : (< mapped_name : string; .. > as 'b) option;
    super_intf : 'b list; .. > ->
  unit
val intf_to_il :
  Hgen_types.TS.entity Hgen_types.CiHashtbl.t ->
  Hgen_types.IL.pad ->
  < mapped_name : string; .. > list Hgen_types.CiMap.t ->
  < imported_from : string option; mapped_name : string;
    name : [< `Absolute of string list | `Relative of string list ];
    op_elements : < in_args : (string * 'a * Hgen_types.TS.ty) array;
                    in_classes : bool; mapped_name : string;
                    mode : [< `Idempotent | `Nonmutating | `Normal ];
                    name : string;
                    out_args : (string * string * Hgen_types.TS.ty) array;
                    out_classes : bool; result : Hgen_types.TS.ty; .. >
                  list;
    super : (< mapped_name : string; .. > as 'b) option;
    super_intf : 'b list; .. > ->
  unit
val decoded_cls_type :
  [< `Const of 'a & 'b & 'c
   | `Exn of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Module of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Object of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. >
   | `Type of
       < mapped_name : string; .. > &
       < mapped_name : string; .. > &
       < mapped_name : string; .. > ]
  Hgen_types.CiHashtbl.t ->
  (< data_elements : ('e * 'f * Hgen_types.TS.ty) array; super : 'd option;
     .. >
   as 'd) ->
  Hgen_types.IL.type_term
val get_super_classes : (< super : 'a option; .. > as 'a) -> 'a list
val cls_to_il1 :
  Hgen_types.TS.entity Hgen_types.CiHashtbl.t ->
  Hgen_types.IL.pad ->
  < name : [< `Absolute of string list | `Relative of string list
            > `Absolute ];
    op_elements : < in_args : ('a * 'b * Hgen_types.TS.ty) array;
                    mapped_name : string; name : string;
                    out_args : ('c * string * Hgen_types.TS.ty) array;
                    result : Hgen_types.TS.ty; .. >
                  list;
    .. >
  list Hgen_types.CiMap.t