Module Wp.Lang.F.Vars

module Vars: Qed.Idxset.S  with type elt = var