sig
  val mine : bool -> bool -> TransSys.t -> (TransSys.t * Term.TermSet.t) list
end