Searched refs:lmInterface (Results 1 – 3 of 3) sorted by relevance
183 | i <- map lmInterface (getLoadedModules (meLoadedModules menv))253 let Iface { .. } = lmInterface lm260 let decls = ifPublic (lmInterface lm)353 , lmInterface :: Iface function393 , lmInterface = genIface tm function
380 let mkPrims = ifacePrimMap . lmInterface
469 Just lm -> return (lmInterface lm)