viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.selection
/
Implies
/
Implies
Implies
fun
Implies
(
lhs
:
SelectionConstraint
,
rhs
:
SelectionConstraint
)