sig
  type table
  val make_table : unit -> SharedInput.table
  val null_table : SharedInput.table
  val share_subterms : SharedInput.table -> Term.term -> Term.term
end