Module scilla_parser::contract

source ·

Structs

  • The Contract struct represents a parsed contract in Rust, including its name, initialization parameters, fields, and transitions.