The MODULE_ID signature


Synopsis

signature MODULE_ID
structure ModuleId : MODULE_ID

Interface

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

Description

type stamp

datatype modId

equalId (mo, mo2)


cmp (mo, mo2)


idToString mo