Searched refs:mkPrims (Results 1 – 1 of 1) sorted by relevance
380 let mkPrims = ifacePrimMap . lmInterface function384 Just lm -> mkPrims lm <> mp387 Just prel -> return $ mkPrims prel