cadenza / cadenza.semantics / Term / Witness

Witness

abstract class Witness

Properties

type

 val type: Type

Functions

compile

 abstract fun compile(fd: FrameDescriptor): Code

match

 fun match(expectedType: Type): Witness