DEFINITION MODULE Locks;

  EXPORT QUALIFIED LockType, Lock, BusyLock, Unlock;

  TYPE
    LockType;

  PROCEDURE Lock(VAR l: LockType);

  PROCEDURE BusyLock(VAR l: LockType): BOOLEAN;

  PROCEDURE Unlock(VAR l: LockType);

  END Locks.
