rem_verification/
lib.rs

1pub mod error;
2pub mod convert;
3pub mod verify;
4
5mod exports;
6pub use exports::{
7    VerificationError,
8    VerificationInput,
9    VerificationReturn,
10    FileContent,
11    ProgramPaths,
12    call_verifier,
13};