Constant

constructor(name: String)(source)

Creates a Constant with the given name.

Parameters

name

The name of this constant.