Module OCamlSource

Sourcetype 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
Sourceval string_of_v : ?max_depth:int -> v -> string
Sourceval map_v : f:(k:(v -> v) -> v -> v) -> v -> v
Sourceval vof_unit : unit -> v
Sourceval vof_bool : bool -> v
Sourceval vof_int : int -> v
Sourceval vof_float : float -> v
Sourceval vof_string : string -> v
Sourceval vof_list : ('a -> v) -> 'a list -> v
Sourceval vof_option : ('a -> v) -> 'a option -> v
Sourceval vof_ref : ('a -> v) -> 'a ref -> v
Sourceval vof_either : ('a -> v) -> ('b -> v) -> ('a, 'b) Common.either -> v
Sourceval vof_either3 : ('a -> v) -> ('b -> v) -> ('c -> v) -> ('a, 'b, 'c) Common.either3 -> v
Sourceval vof_all3 : ('a -> v) -> ('b -> v) -> ('c -> v) -> ('a * 'b * 'c) -> v
Sourceval int_ofv : v -> int
Sourceval float_ofv : v -> float
Sourceval unit_ofv : v -> unit
Sourceval string_ofv : v -> string
Sourceval list_ofv : (v -> 'a) -> v -> 'a list
Sourceval option_ofv : (v -> 'a) -> v -> 'a option
Sourceval map_of_unit : unit -> unit
Sourceval map_of_bool : bool -> bool
Sourceval map_of_int : int -> int
Sourceval map_of_float : float -> float
Sourceval map_of_char : char -> char
Sourceval map_of_string : string -> string
Sourceval map_of_ref : ('a -> 'b) -> 'a ref -> 'b ref
Sourceval map_of_ref_do_nothing_share_ref : ('a -> 'a) -> 'a ref -> 'a ref
Sourceval map_of_option : ('a -> 'b) -> 'a option -> 'b option
Sourceval map_of_list : ('a -> 'b) -> 'a list -> 'b list
Sourceval map_of_either : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) Common.either -> ('b, 'd) Common.either
Sourceval map_of_either3 : ('a -> 'b) -> ('c -> 'd) -> ('e -> 'f) -> ('a, 'c, 'e) Common.either3 -> ('b, 'd, 'f) Common.either3
Sourceval map_of_all3 : ('a -> 'b) -> ('c -> 'd) -> ('e -> 'f) -> ('a * 'c * 'e) -> 'b * 'd * 'f
Sourceval v_unit : unit -> unit
Sourceval v_bool : bool -> unit
Sourceval v_int : int -> unit
Sourceval v_float : float -> unit
Sourceval v_string : string -> unit
Sourceval v_option : ('a -> unit) -> 'a option -> unit
Sourceval v_list : ('a -> unit) -> 'a list -> unit
Sourceval v_ref_do_visit : ('a -> unit) -> 'a ref -> unit
Sourceval v_ref_do_not_visit : ('a -> unit) -> 'a ref -> unit
Sourceval v_either : ('a -> unit) -> ('b -> unit) -> ('a, 'b) Common.either -> unit
Sourceval v_either3 : ('a -> unit) -> ('b -> unit) -> ('c -> unit) -> ('a, 'b, 'c) Common.either3 -> unit