Skip to main content

Module export

Module export 

Source
Expand description

Xeto export — serialize Specs back to .xeto text format.

Functions§

export_lib
Export a library pragma + all its specs to Xeto source text.
export_spec
Export a single Spec to Xeto source text.