viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra.solver
/
Term
/
Bounds
/
Bounds
Bounds
fun
<
C
:
Lattice
<
C
>
>
Bounds
(
bounds
:
BoundedLattice
<
C
>
)