package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
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 term : (int * bool) t
val clause : clause -> string
val formule : formule -> string
val quant : quant -> string
val quants : quants -> string
val file : file -> string