Crate vest 

Compiler library for the Vest binary-format DSL.

compile, compile_file, and compile_to parse and type-check a .vest source file and emit a verified Verus/Rust module. Most users invoke the vest command-line tool; build scripts and other generators can call these functions directly.

See Getting started, language reference, and generated Rust code guide.

Modules

codegen

Enums

VestError

Functions

compile

Compiles the given source code and returns the resulting output.

compile_file

Compiles the given file and returns the resulting output.

compile_to

Compiles the given file and saves it to output_file.