sig
  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
end