Module mikino_api::prelude
source · [−]Expand description
Common imports throughout this project.
Re-exports
pub use crate::ast;
pub use crate::build_decls;
pub use crate::build_expr;
pub use crate::build_trans;
pub use crate::build_typ;
pub use crate::check;
pub use crate::err::*;
pub use crate::expr;
pub use crate::expr::HasTyp;
pub use crate::expr::Typ;
pub use crate::parse;
pub use crate::parse::Span;
pub use crate::parse::Spn;
pub use crate::script;
pub use crate::solver::SFSolver;
pub use crate::solver::SLSolver;
pub use crate::trans;
Macros
Exits a function early with an error
Structs
A big signed integer type.
SMT-LIB 2.0 parser.
Configuration and solver specific info.
Solver providing most of the SMT-LIB 2.5 commands.
Enums
The enum Either
with variants Left
and Right
is a general purpose
sum type with two cases.
A Sign is a BigInt
’s composing element.
Traits
Defines a multiplicative identity element for Self
.
Style trait.
Defines an additive identity element for Self
.
Functions
Generates an SmtConf
from a Z3 command with arguments.