JSONSpec

make the world well-typed.

JSONSpec structure & syntax

Basic structure

JSONSpec describes both the schema and the semantics of a data/service, it requires as much as possible info to build a rich specification.

A valid JSONSpec have following sections:

Types

Standard types

see stdlib

Composite types

Selector syntax