Overview of Xeto

Library modules

Specification type definitions

Extend existing spec definitions

Global slot definitions

Lib and spec meta definitions

Instance data

Enumeration specs

Mutually exclusive marker choices

Type system features

Composition through inheritance

Closed set of libs that define name space

Constraint rules used for validation

Type erasure rules when mapping to other data formats

JSON representation

RDF interoperability

Markdown flavor

Formal BNF grammar for Xeto