viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.security.solver
/
integrityFlowsTo
integrity
Flows
To
fun
<
C
:
HeytingAlgebra
<
C
>
,
V
,
T
>
Term
<
C
,
V
>
.
integrityFlowsTo
(
that
:
Term
<
C
,
V
>
,
bounds
:
BoundedLattice
<
C
>
,
failWith
:
(
SecurityLattice
<
C
>
,
SecurityLattice
<
C
>
)
->
T
)
:
Iterable
<
Constraint
<
C
,
V
,
T
>
>