Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type t = Sygus.sygus_term
val of_sexp : Sexplib.Sexp.t -> t
val sexp_of : t -> Sexplib.Sexp.t
val pp : Format.formatter -> t -> unit
val pp_hum : Format.formatter -> t -> unit