Module Data.CHR

type t
type clique
type sequent = {
  1. eigen : term;
  2. context : term;
  3. conclusion : term;
}
and rule = {
  1. to_match : sequent list;
  2. to_remove : sequent list;
  3. patsno : int;
  4. guard : term option;
  5. new_goal : sequent option;
  6. nargs : int;
  7. pattern : Elpi_util.Util.constant list;
  8. rule_name : string;
  9. rule_loc : Elpi_util.Util.Loc.t;
}
val pp_sequent : Fmt.formatter -> sequent -> unit
val show_sequent : sequent -> string
val pp_rule : Fmt.formatter -> rule -> unit
val show_rule : rule -> string
val empty : t
val add_rule : clique -> rule -> t -> t
val in_clique : clique -> Elpi_util.Util.constant -> bool
val rules_for : Elpi_util.Util.constant -> t -> rule list
val pp : Fmt.formatter -> t -> unit
val pp_clique : Fmt.formatter -> clique -> unit
val show : t -> string