viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra
/
FreeDistributiveLattice
/
lessThanOrEqualTo
less
Than
Or
Equal
To
fun
lessThanOrEqualTo
(
that
:
FreeDistributiveLattice
<
A
>
,
assumptions
:
List
<
FreeDistributiveLattice.LessThanOrEqualTo
<
A
>
>
)
:
Boolean