ENUM_ITER_DEEP
true
ENUM_START
0
ENUM_ITER_DEEP_DELAY
1000
ENUM_ITER_DEEP_INIT
8
IMITATE_DELAY
2
PROJECT_DELAY
0
ENUM_IMP
2
ENUM_NEG
0
ENUM_EQ
2
ENUM_CHOICE
100
ENUM_FORALL
100
ENUM_SORT
0
ENUM_ARROW
100
ENUM_O
100
