MODULE_ID signature
signature MODULE_ID
structure Compiler.ModuleId : MODULE_ID
type stamp
datatype modId
= STRid of {rlzn : stamp, sign : stamp}
| SIGid of stamp
| FCTid of {rlzn : stamp, sign : modId}
| FSIGid of {paramsig : stamp, bodysig : stamp}
| TYCid of stamp
| EENVid of stamp
val equalId : (modId * modId) -> bool
val cmp : (modId * modId) -> order
val idToString : modId -> string
type stamp
datatype modId
equalId (mo, mo2)
cmp (mo, mo2)
idToString mo