Value constructor

const Value(
  1. String name
)

Creates an atomic constant with the given name.

Implementation

const new(String name) : super._(name, const []);