NoSetupReason
Setup
name
Operation
Abs
Const
Free
TFree
TVar
Theory
Type
Var
OfficialPlatform