mltypes.mli 470 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
open OCaml_all
open Asttypes
open Types

type t = { uid : int; mutable recurs : int; mutable def : def }
and def =
  | Link of t
  | Arrow of t * t
  | Tuple of t list
  | PVariant of (string * t option) list  (* Polymorphic variant *)
  | Variant of (string * t list) list * bool
  | Record of (string * t) list * bool
  | Builtin of string * t list
  | Abstract of string


val read_cmi: string -> string * (string * t) list

val print : Format.formatter -> t -> unit