viaduct
0.2.0-5-g5831d91.dirty
compiler
/
edu.cornell.cs.apl.viaduct.algebra.solver
/
ConstantTerm
/
ConstantTerm
Constant
Term
fun
<
A
:
HeytingAlgebra
<
A
>
>
ConstantTerm
(
value
:
A
)
Content copied to clipboard