Type for the Val.true object. Do not create more instances of this - use Val.true instead.
constant Val.True.is_val_true
Nonzero recognition constant.