Module CongruenceClosureRewrite.Pattern

type t =
  1. | Var of Var.t
  2. | Term of {
    1. header : CC.header;
    2. args : t list;
    }
type ellipsis = {
  1. header : CC.header;
  2. arg : t;
}
val pp : F.formatter -> t -> unit
val pp_ellipsis : F.formatter -> ellipsis -> unit
val vars : t -> Var.t list