BoundVariable

constructor(name: String)(source)

Creates a BoundVariable with the given name.

Parameters

name

The name of this bound variable.