package GuaCaml

  1. Overview
  2. Docs
type stream = bool list
type !'a t = 'a ToB.t * 'a OfB.t
type !'a b = ('a, BArray.t) O3.o3
val unit : unit t
val option : 'a t -> 'a option t
val bool : bool t
val barray : BArray.t t
val list : 'a t -> 'a list t
val array : 'a t -> 'a array t
val none_list : 'a option t -> 'a list t
val int : int t
val sized_int : int -> int t
val closure : 'a t -> 'a b
val bool_option_list : bool option list t
val pair : 'a t -> 'b t -> ('a * 'b) t
val (*) : 'a t -> 'b t -> ('a * 'b) t
val trio : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t
val quad : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t
val c2 : 't0 t -> 't1 t -> ('t0, 't1) Poly.c2 t
val c3 : 't0 t -> 't1 t -> 't2 t -> ('t0, 't1, 't2) Poly.c3 t
val c4 : 't0 t -> 't1 t -> 't2 t -> 't3 t -> ('t0, 't1, 't2, 't3) Poly.c4 t
OCaml

Innovation. Community. Security.