Module type Can.OPS

module type OPS = sig  end

val is_flat : Term.t -> bool

val is_pure : Term.t -> bool

val find : Partition.t * Solution.Set.t -> Jst.Eqtrans.t

val inv : Partition.t * Solution.Set.t -> Jst.Eqtrans.t