viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.security
/
label
label
val
Host
.
label
:
SecurityLattice
<
FreeDistributiveLattice
<
Component
<
Principal
>
>
>
val
LabelVariable
.
label
:
SecurityLattice
<
FreeDistributiveLattice
<
Component
<
Principal
>
>
>