Module SemdiffDirectEngine.Rules

type rule = {
  1. lhs : Pattern.t;
  2. rhs : Pattern.t;
  3. condition : Condition.t option;
  4. key : Name.t list;
}
type t = {
  1. ignore : Pattern.t list;
  2. rewrite : rule list;
  3. accept : rule list;
}
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal
val union : t -> t -> t
val pp : F.formatter -> t -> unit