Module Lang.F.Vmap

module Vmap: Qed.Idxmap.S  with type key = var