org.emmalanguage.ast.Terms.TermAPI
Term references (values, variables, parameters and modules).
Creates a type-checked term reference.
Must be a term symbol
target.
target
Term references (values, variables, parameters and modules).