openvm_native_circuit/castf/
mod.rs

1use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};
2
3use super::adapters::convert_adapter::{ConvertAdapterAir, ConvertAdapterChip};
4
5#[cfg(test)]
6mod tests;
7
8mod core;
9pub use core::*;
10
11pub type CastFAir = VmAirWrapper<ConvertAdapterAir<1, 4>, CastFCoreAir>;
12pub type CastFChip<F> = VmChipWrapper<F, ConvertAdapterChip<F, 1, 4>, CastFCoreChip>;