Companion

object Companion

Functions

Link copied to clipboard
fun of(term: Term): Argument

The argument of term, the term of an argument (see ArgumentTerm)