compiler/io.github.aplcornell.viaduct.algebra.solver/Term/Companion

Companion

object Companion

Functions

Link copied to clipboard
fun <C, V> constant(value: C): Term<C, V>
Link copied to clipboard
fun <C, V> variable(value: V): Term<C, V>