viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra
/
FreeDistributiveLatticeCongruence
/
Companion
Companion
object
Companion
Functions
Functions
empty
Link copied to clipboard
@
JvmStatic
fun
<
A
>
empty
(
)
:
FreeDistributiveLatticeCongruence
<
A
>