lio-eci11-0.1: Labeled IO library (Index - P)

lio-eci11-0.1: Labeled IO library

A
B
C
D
E
G
H
I
L
M
N
O
P
R
S
T
U
W
.
<
>

Index - P

pcompare	LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PEQ	LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PGT	LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PLT	LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PNE	LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
POrd	LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
POrdering	LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
principal	LIO.DCLabel
Priv	LIO.TCB, LIO.Base, LIO.HiStar, LIO.LIO
PrivTCB	LIO.TCB
putTCB	LIO.TCB