viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra
/
FreeDistributiveLatticeCongruence
/
lessThanOrEqualTo
less
Than
Or
Equal
To
open
override
fun
lessThanOrEqualTo
(
first
:
FreeDistributiveLattice
<
A
>
,
second
:
FreeDistributiveLattice
<
A
>
)
:
Boolean