Crate scilla_parser

Re-exports

• pub use error::Error;
• pub use contract::*;
• pub use field::*;
• pub use parser::*;
• pub use transition::*;

Modules

• contract
• error
• field
• parser
• transition

Functions

• run_scilla_fmt