<<>> <> <> <> <> <<>> <> <<>> <> RefID: CEDAR DEFINITIONS ~ BEGIN ID: TYPE ~ LONG CARDINAL; <> nullID: ID = LOOPHOLE[NIL[REF], LONG CARDINAL]; <> Seal: PROC[r: REF] RETURNS [ID]; <> Reseal: PROC[r: REF] RETURNS [ID] = INLINE { RETURN[LOOPHOLE[r]] }; <> <<>> Unseal: PROC[id: ID] RETURNS [REF]; <> Release: PROC[id: ID] RETURNS [existed: BOOL]; <> END.