Module Lint.Predicate

type t = [
  1. | `pps of [ `present of Pp.Name.t Nonempty_list.t | `absent of Pp.Name.t Nonempty_list.t | `pp of Pp.Name.t | `flag of Dunolint__Dune0.Pps.Predicate.Flag.t | `pp_with_flag of Dunolint__Dune0.Pps.Predicate.Pp_with_flag.t ] Blang.t
    (*

    The field is present, it has a pps subfield, and this subfield verifies the condition that is supplied.

    *)
]
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