Module Use.T (.ml)

module T: sig .. end

type t = Term.t