Result

Result

data class Result

Data class to hold a result's valuetype from the docs:


result   ::=  ‘(’ ‘result’  t:valtype ‘)’  => t

Fields

Name Description
val valType: ValueType

Constructors

<init>

constructor(valType: ValueType)

Data class to hold a result's valuetype from the docs:


result   ::=  ‘(’ ‘result’  t:valtype ‘)’  => t

Parameters

Name Description
valType: ValueType

Methods

toString

fun toString(): String

ReturnValue

Name Description
String