Module Lang.F.Tset

module Tset: Qed.Idxset.S  with type elt = term