viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra
/
FreeDistributiveLatticeCongruence
/
FreeDistributiveLatticeCongruence
Free
Distributive
Lattice
Congruence
fun
<
A
>
FreeDistributiveLatticeCongruence
(
congruence
:
List
<
FreeDistributiveLattice.LessThanOrEqualTo
<
A
>
>
)