Index
| CharValue | Present |
| CharWHNF | Present |
| ChoiceValue | Present |
| ChoiceWHNF | Present |
| DataValue | Present |
| DataWHNF | Present |
| ExceptionValue | Present |
| ExceptionWHNF | Present |
| FunctionValue | Present |
| FunctionWHNF | Present |
| IntegerValue | Present |
| IntegerWHNF | Present |
| ListConsWHNF | Present |
| ListEndWHNF | Present |
| ListValue | Present |
| Present0 | Present |
| present0 | Present |
| Present1 | Present |
| present1 | Present |
| Present2 | Present |
| present2 | Present |
| Present3 | Present |
| present3 | Present |
| Present4 | Present |
| present4 | Present |
| Present5 | Present |
| present5 | Present |
| Present6 | Present |
| present6 | Present |
| presentIt | Present |
| presentName | Present |
| presentShow | Present |
| presentType | Present |
| PrimitiveValue | Present |
| PrimitiveWHNF | Present |
| RecordValue | Present |
| RecordWHNF | Present |
| StringValue | Present |
| StringWHNF | Present |
| toShow | Present |
| toWHNF | Present |
| TupleValue | Present |
| TupleWHNF | Present |
| TypeVariableValue | Present |
| TypeVariableWHNF | Present |
| Value | Present |
| WHNF | Present |
| whnfJson | Present |