package GuaCaml

  1. Overview
  2. Docs
type !'a t = 'a -> string
val ref : 'a t -> 'a ref t
val string : string t
val option : 'a t -> 'a option t
val list : ?sep:string -> 'a t -> 'a list t
val array : ?sep:string -> 'a t -> 'a array t
val unit : unit t
val bool : bool t
val bool' : ?t:string -> ?f:string -> bool t
val int : int t
val pretty_nat : int t
val pretty_int : int t
val float : float 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 ignore : 'a t
val proof : 'a t -> 'd t -> ('a, 'd) proof t
val pproof : 'a t -> 'd t -> 's t -> 'c t -> ('a, 'd, 's, 'c) pproof t
val aproof : 'a t -> 'd t -> ('a, 'd) aproof t
OCaml

Innovation. Community. Security.