Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package logical
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type t = | Int of int| Float of float| Str of string| Bool of bool| Var of variable| Set of (t, Comparator.comparator_witness) Base.Set.t
val sexp_of_t : t -> Base.Sexp.tval to_string : t -> string