One doc tagged with "contract generation"

the syntax of a schema definition file will be described here.