viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.security
/
flowsTo
flows
To
fun
flowsTo
(
from
:
Label
,
to
:
Label
,
congruence
:
FreeDistributiveLatticeCongruence
<
PrincipalComponent
>
)
:
Boolean