-- File: PupJuniperDefs.Mesa, Last Edit: HGM October 16, 1979 4:38 AM

DIRECTORY
PupTypes: FROM "PupTypes" USING [PupAddress, PupSocketID],
MachineIDDefs: FROM "MachineIDDefs" USING [MachineID];

PupJuniperDefs: DEFINITIONS = BEGIN

PupAddress: TYPE = PupTypes.PupAddress;
PupSocketID: TYPE = PupTypes.PupSocketID;

MachineIDFromPupAddress: PROCEDURE [PupAddress] RETURNS [MachineIDDefs.MachineID];
PupAddressFromMachineID: PROCEDURE [MachineIDDefs.MachineID, PupSocketID] RETURNS [PupAddress];

END.