viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.security.solver
/
term
term
fun
<
C
:
Lattice
<
C
>
,
V
>
term
(
constant
:
SecurityLattice
<
C
>
)
:
Term
<
C
,
V
>
Embeds
constant
as a
Term
.
fun
<
C
:
Lattice
<
C
>
,
V
>
term
(
variable
:
V
)
:
Term
<
C
,
V
>
Embeds
variable
as a
Term
.