class ELT_NIL{ETP}
Flattened version is
here
Public
Features
elt_nil : ETP
The Sather Home Page