compiler/io.github.aplcornell.viaduct.algebra.solver/ConstraintSolution/evaluate

evaluate

fun evaluate(term: Term<C, V>): C

Returns the value of term.