True constructor

const True()

Creates an unconditional true term.

Implementation

const new() : super._('true', const []);