TermObjectifier

TermObjectifier

interface TermObjectifier: Objectifier<Term>, TermVisitor<Any>, Any

Methods

objectify

open fun objectify(value: Term): Any

Parameters

Name	Description
`value: Term`

ReturnValue

Name	Description
`Any`

CompanionObject

TermObjectifier

interface TermObjectifier: Objectifier<Term>, TermVisitor<Any>, Any

Fields

Name	Description
`val default: TermObjectifier`

Currently 0.20.4-dev03+7d9c6c67. Created with Orchid and Orchid Editorial Theme.