Module Ocaml

type t =
  1. | Unit
  2. | Bool
  3. | Float
  4. | Char
  5. | String
  6. | Int
  7. | Tuple of t list
  8. | Dict of (string * [ `RW | `RO ] * t) list
  9. | Sum of (string * t list) list
  10. | Var of string
  11. | Poly of string
  12. | Arrow of t * t
  13. | Apply of string * t
  14. | Option of t
  15. | List of t
  16. | TTODO of string
val add_new_type : string -> t -> unit
val get_type : string -> t
type v =
  1. | VUnit
  2. | VBool of bool
  3. | VFloat of float
  4. | VInt of int
  5. | VChar of char
  6. | VString of string
  7. | VTuple of v list
  8. | VDict of (string * v) list
  9. | VSum of string * v list
  10. | VVar of string * int64
  11. | VArrow of string
  12. | VNone
  13. | VSome of v
  14. | VList of v list
  15. | VRef of v
  16. | VTODO of string
val vof_unit : unit -> v
val vof_bool : bool -> v
val vof_int : int -> v
val vof_float : float -> v
val vof_string : string -> v
val vof_list : ('a -> v) -> 'a list -> v
val vof_option : ('a -> v) -> 'a option -> v
val vof_ref : ('a -> v) -> 'a ref -> v
val vof_either : ('a -> v) -> ('b -> v) -> ('a, 'b) Common.either -> v
val vof_either3 : ('a -> v) -> ('b -> v) -> ('c -> v) -> ('a, 'b, 'c) Common.either3 -> v
val int_ofv : v -> int
val float_ofv : v -> float
val unit_ofv : v -> unit
val string_ofv : v -> string
val list_ofv : (v -> 'a) -> v -> 'a list
val option_ofv : (v -> 'a) -> v -> 'a option
val string_of_v : v -> string
val map_v : f:(k:(v -> v) -> v -> v) -> v -> v
val map_of_unit : unit -> unit
val map_of_bool : bool -> bool
val map_of_int : int -> int
val map_of_float : float -> float
val map_of_char : char -> char
val map_of_string : string -> string
val map_of_ref : 'a -> 'b -> 'b
val map_of_option : ('a -> 'b) -> 'a option -> 'b option
val map_of_list : ('a -> 'a) -> 'a list -> 'a list
val map_of_either : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) Common.either -> ('b, 'd) Common.either
val map_of_either3 : ('a -> 'b) -> ('c -> 'd) -> ('e -> 'f) -> ('a, 'c, 'e) Common.either3 -> ('b, 'd, 'f) Common.either3
val v_unit : unit -> unit
val v_bool : bool -> unit
val v_int : int -> unit
val v_float : float -> unit
val v_string : string -> unit
val v_option : ('a -> unit) -> 'a option -> unit
val v_list : ('a -> unit) -> 'a list -> unit
val v_ref : ('a -> unit) -> 'a ref -> unit
val v_either : ('a -> unit) -> ('b -> unit) -> ('a, 'b) Common.either -> unit
val v_either3 : ('a -> unit) -> ('b -> unit) -> ('c -> unit) -> ('a, 'b, 'c) Common.either3 -> unit