sig type t = Term.t end