viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra
/
LatticeCongruence
Lattice
Congruence
interface
LatticeCongruence
<
A
:
Lattice
<
A
>
>
Functions
Inheritors
Functions
equals
Link copied to clipboard
abstract
fun
equals
(
first
:
A
,
second
:
A
)
:
Boolean
less
Than
Or
Equal
To
Link copied to clipboard
abstract
fun
lessThanOrEqualTo
(
first
:
A
,
second
:
A
)
:
Boolean
Inheritors
FreeDistributiveLatticeCongruence
Link copied to clipboard