The type "NestedSem" is defined in
/pliant/language/schedule/nestedsem.pli
module.
Field
Type
sem
Sem
header
(Pointer ThreadHeader)
count
Int
Method name
Arguments
rd_release
Name
ns
Type
NestedSem
Access
Arw
rd_request
Name
ns
Type
NestedSem
Access
Arw
release
Name
ns
Type
NestedSem
Access
Arw
request
Name
ns
Type
NestedSem
Access
Arw