Module Predicate.Flag

module Applies_to : sig ... end
type t = {
  1. name : string;
  2. param : Param.t;
  3. applies_to : Applies_to.t;
}
val equal : t -> t -> bool
val compare : t -> t -> int
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t