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