Home
last modified time | relevance | path

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

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/ModuleSystem/
H A DBase.hs380 let mkPrims = ifacePrimMap . lmInterface function
384 Just lm -> mkPrims lm <> mp
387 Just prel -> return $ mkPrims prel