- Intro: overview of Xeto
- Libs: library modules
- Specs: specification type definitions
- Instances: instance data
- Namespaces: closed set of libs that define name space
- Types: core scalar and collection types
- Grids: tabular data structure
- Filters: predicates for querying Haystack data
- TimeZones: representation of timezones
- Units: representation of units of measurement
- Type System: type system features
- Inheritance: composition through inheritance
- Mixins: extend existing spec definitions
- Globals: global slot definitions
- Meta: lib and spec meta definitions
- Enums: enumeration specs
- Choices: mutually exclusive marker choices
- Constraints: constraint rules used for validation
- Sugar: specs that combine nominal and structural typing
- Fidelity: type erasure rules when mapping to other data formats
- Jeto: JSON representation
- HttpApi: HTTP API protocol
- Rdf: RDF interoperability