You are in:

 Documentation Home
 Class Libraries
 EiffelStore
 EiffelStore Content
 EiffelStore Generation Cluster

 Topics:

 Data structures creation
 Data structures use