Module Lang.F.Tmap

module Tmap: Qed.Idxmap.S  with type key = term