Module Pps.Predicate

module Param : sig ... end
module Flag : sig ... end
module Pp_with_flag : sig ... end
type t = [
  1. | `present of Pp.Name.t Nonempty_list.t
  2. | `absent of Pp.Name.t Nonempty_list.t
  3. | `pp of Pp.Name.t
  4. | `flag of Flag.t
  5. | `pp_with_flag of Pp_with_flag.t
]
val equal : t -> t -> bool
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t