val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.tval t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> tval __t_of_sexp__ : Ppx_sexp_conv_lib.Sexp.t -> tinclude Properties.Disjunctable with type t := tinclude Properties.NeedsValidation with type t := tinclude Properties.Executable with type t := tval eval : t -> bool array -> bool optioninclude PrettyPrint.I with type t := tinclude PrettyPrint.Inspectable with type t := tval to_pretty_string : ?style:PrettyPrint.Style.Infix.t -> t -> stringinclude PrettyPrint.Sexpable with type t := tval to_pretty_sexp : ?style:PrettyPrint.Style.Prefix.t -> t -> Base.Sexp.tval of_pretty_sexp : ?style:PrettyPrint.Style.Prefix.t -> Base.Sexp.t -> t