sigmastate
Primitive type recognizer to pattern match on TypeCode
Type code of the last valid prim type so that (1 to LastPrimTypeCode) is a range of valid codes.
Upper limit of the interval of valid type codes for primitive types
Primitive type recognizer to pattern match on TypeCode