Module Cduce_ocamliface.Mltypes

exception Error of string
type t = {
uid : int;
mutable recurs : int;
mutable def : def;
}
and def =
| Arrow of string * t * t
| Tuple of t list
| PVariant of (string * t option) list
| Variant of string * (Ocaml_common.Ident.t * t list * t option) list * bool
| Record of string * (Ocaml_common.Ident.t * t) list * bool
| Builtin of string * t list
| Abstract of string
| Var of int
module HashType : Stdlib.Hashtbl.S with type HashType.key = t
val reg_uid : t -> unit
val has_cmi : string -> bool
val load_module : string -> (string * t) list
val read_cmi : string -> string * (string * Ocaml_common.Types.type_expr * t) list
val print : Stdlib.Format.formatter -> t -> unit
val print_ocaml : Stdlib.Format.formatter -> Ocaml_common.Types.type_expr -> unit
val find_value : string -> t * int