values constant

List<Proof_Value> const values

A constant List of the values in this enum, in order of their declaration.