Crate eflint_json

Rust implementation of the eFLINT JSON Specification.

Modules

• spec
  Defines the interface of the JSON Specification for various versions. The versions are gated using features.