None

object None: Result

Methods

toTerm

fun toTerm(): Term?

ReturnValue

Name Description
Term?

asObjectRef

fun asObjectRef(): ObjectRef?

ReturnValue

Name Description
ObjectRef?

isNone

fun isNone(): Boolean

ReturnValue

Name Description
Boolean

asNone

fun asNone(): None

ReturnValue

Name Description
None