Crate scilla_parser
source ·Re-exports
pub use error::Error;pub use contract::*;pub use field::*;pub use type::*;pub use transition::*;
Modules
Functions
- Run the scilla-fmt command using docker to generate a s-expression out of a given scilla contract.