1 {-# GHC_PRAGMA INTERFACE VERSION 5 #-}
2 interface RenameAuxFuns where
6 import PreludePS(_PackedString)
7 import ProtoName(ProtoName)
9 type GlobalNameFun = ProtoName -> Labda Name
10 type GlobalNameFuns = (ProtoName -> Labda Name, ProtoName -> Labda Name)
12 type PreludeNameFun = _PackedString -> Labda Name
13 type PreludeNameFuns = (_PackedString -> Labda Name, _PackedString -> Labda Name)
15 mkGlobalNameFun :: _PackedString -> (_PackedString -> Labda Name) -> [(ProtoName, Name)] -> ProtoName -> Labda Name
16 mkNameFun :: Bag (_PackedString, a) -> (_PackedString -> Labda a, [[(_PackedString, a)]])