viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.syntax.intermediate
/
IFCDelegationDeclarationNode
/
congruences
congruences
open
override
fun
congruences
(
)
:
List
<
FreeDistributiveLattice.LessThanOrEqualTo
<
PrincipalComponent
>
>