Module Wp.Lang.F.Pmap

module Pmap: Qed.Idxmap.S  with type key = pred