Module SemdiffDirectEngine.Condition

type predicate =
  1. | Contains
  2. | Equals
val equal_predicate : predicate -> predicate -> bool
type t =
  1. | Atom of {
    1. predicate : predicate;
    2. args : Pattern.t list;
    }
  2. | Not of t
  3. | And of t * t
include Ppx_compare_lib.Equal.S with type t := t
val equal : t Base__Ppx_compare_lib.equal