viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra
/
FreeDistributiveLattice
/
LessThanOrEqualTo
/
LessThanOrEqualTo
Less
Than
Or
Equal
To
fun
<
A
>
LessThanOrEqualTo
(
from
:
FreeDistributiveLattice
<
A
>
,
to
:
FreeDistributiveLattice
<
A
>
)