Control.Monad.Coop.Sync

Definitions

record Sync : (0 _ : k) -> Type

Totality: total
Visibility: export
Constructor: 

Sy : Nat -> Sync t

Projection: 

.unSy : Sync t -> Nat

Hints:

Eq (Sync sk)

Ord (Sync sk)

newUniqueSync : SortedMap (Sync sk) whatever -> Sync sk

Totality: total
Visibility: export