flix

0.75.2

Fixpoint3.ReadWriteLock

Definitions

def mkLock(_: Region[r]): ReadWriteLock[r] \ r§ Source
def readLock(lock: ReadWriteLock[r]): Unit \ r§ Source
def unlockRead(lock: ReadWriteLock[r]): Unit \ r§ Source
def unlockWrite(lock: ReadWriteLock[r]): Unit \ r§ Source
def writeLock(lock: ReadWriteLock[r]): Unit \ r§ Source