Crate eflint_to_json

Defines a high-level wrapper around Olaf’s eflint-to-json executable that compiles eFLINT to eFLINT JSON Specification.

Modules

• download
  File to download stuff from the World Wide Web using reqwest.

Structs

• ChildStream
  Defines a wrapper around ChildStdout/[ChildStderr] that allow them to be serialized as errors in a trace.
• ChildStreams
  Defines a wrapper around multiple streams.

Enums

• Error
  Defines toplevel errors.

Functions

• compile
  Compiles a (tree of) .eflint files using Olaf’s eflint-to-json compiler.
• compile_async
  Compiles a (tree of) .eflint files using Olaf’s eflint-to-json compiler.