viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.algebra.solver
/
Term
/
join
join
open
infix override
fun
join
(
that
:
Term
<
C
,
V
>
)
:
Term
<
C
,
V
>
The least upper bound of
this
and
that
.
@
JvmName
(
name
=
"joinConstant"
)
fun
join
(
that
:
C
)
:
Term
<
C
,
V
>
@
JvmName
(
name
=
"joinVariable"
)
fun
join
(
that
:
V
)
:
Term
<
C
,
V
>