smplx_sdk/program/mod.rs
1/// Definitions and traits for handling program arguments in Simplicity programs.
2pub mod arguments;
3/// Core definitions, features, and abstractions for working with Simplicity programs.
4pub mod core;
5/// Error types and definitions for program compilation, manipulation, and execution failures.
6pub mod error;
7/// Definitions and traits for resolving and satisfying execution witnesses for Simplicity programs.
8pub mod witness;
9
10pub use arguments::ArgumentsTrait;
11pub use core::{Program, ProgramTrait};
12pub use error::ProgramError;
13pub use simplicityhl::tracker::TrackerLogLevel;
14pub use witness::WitnessTrait;