TypeEnsurer

abstract class TypeEnsurer<E : ExecutionContext> : Predicative<E>

Constructors

<init>

constructor(typeName: String)

Parameters

Name Description
typeName: String

Methods

compute

protected open fun Request<E>.compute(first: Term): Boolean

Receiver

Name Description
Request<E>

Parameters

Name Description
first: Term

ReturnValue

Name Description
Boolean

ensureType

abstract fun ensureType(context: E, term: Term)

Parameters

Name Description
context: E
term: Term

ReturnValue

Name Description
Unit