m3front/derived/IsLockFreeAddr.m3


generated by m3build

MODULE  IsLockFreeAddr = IsLockFree (Addr) END IsLockFreeAddr.