Home
last modified time | relevance | path

Searched refs:emptyNameMap (Results 1 – 3 of 3) sorted by relevance

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/
H A DPP.hs13 , emptyNameMap
28 emptyNameMap :: NameMap
29 emptyNameMap = IntMap.empty function
H A DType.hs887 nm = addTNames ps emptyNameMap
/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/REPL/
H A DCommand.hs85 import Cryptol.TypeCheck.PP (dump,ppWithNames,emptyNameMap)
1463 ns = T.addTNames vs emptyNameMap