llzk 0.5.0

Rust bindings to the LLZK C API.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

//! `verif` dialect.

mod ops;

use llzk_sys::mlirGetDialectHandle__llzk__verif__;
use melior::dialect::DialectHandle;

pub use ops::{
    ConditionOpLike, ContractInputsIter, ContractOp, ContractOpLike, ContractOpRef,
    EnsureComputeOp, EnsureComputeOpRef, EnsureConstrainOp, EnsureConstrainOpRef,
    IncludeArgOperandsIter, IncludeOp, IncludeOpLike, IncludeOpRef, IncludeOpRefMut, InvariantOp,
    InvariantOpLike, InvariantOpMutLike, InvariantOpRef, InvariantOpRefMut, RequireComputeOp,
    RequireComputeOpRef, RequireConstrainOp, RequireConstrainOpRef, contract, contract_end,
    decreases, ensure_compute, ensure_constrain, include, include_with_map_operands,
    include_with_map_operands_slice, increases, invariant, invariant_build, is_contract,
    is_contract_end, is_decreases, is_ensure_compute, is_ensure_constrain, is_include,
    is_increases, is_invariant, is_old, is_require_compute, is_require_constrain, is_step,
    is_step_yield, old, require_compute, require_constrain, step, step_build, step_yield,
};

/// Returns a handle to the `verif` dialect.
pub fn handle() -> DialectHandle {
    unsafe { DialectHandle::from_raw(mlirGetDialectHandle__llzk__verif__()) }
}

/// Exports the common types of the verif dialect.
pub mod prelude {
    pub use super::ops::{
        ConditionOpLike, ContractInputsIter, ContractOp, ContractOpLike, ContractOpRef,
        ContractOpRefMut, EnsureComputeOp, EnsureComputeOpRef, EnsureComputeOpRefMut,
        EnsureConstrainOp, EnsureConstrainOpRef, EnsureConstrainOpRefMut, IncludeArgOperandsIter,
        IncludeOp, IncludeOpLike, IncludeOpRef, IncludeOpRefMut, InvariantOp, InvariantOpLike,
        InvariantOpMutLike, InvariantOpRef, InvariantOpRefMut, RequireComputeOp,
        RequireComputeOpRef, RequireComputeOpRefMut, RequireConstrainOp, RequireConstrainOpRef,
        RequireConstrainOpRefMut,
    };
}