Searched refs:emptyNameMap (Results 1 – 3 of 3) sorted by relevance
13 , emptyNameMap28 emptyNameMap :: NameMap29 emptyNameMap = IntMap.empty function
887 nm = addTNames ps emptyNameMap
85 import Cryptol.TypeCheck.PP (dump,ppWithNames,emptyNameMap)1463 ns = T.addTNames vs emptyNameMap