BVariable

data class BVariable(name: String) : BTerm

A term that comes from @include/@skip directives and that needs to be matched against operation variables

Constructors

BVariable
Link copied to clipboard
common
fun BVariable(name: String)

Properties

name
Link copied to clipboard
common
val name: String