openvm_native_circuit/castf/
mod.rs

1
2
3
4
5
6
7
8
9
10
11
12
use openvm_circuit::arch::{VmAirWrapper, VmChipWrapper};

use super::adapters::convert_adapter::{ConvertAdapterAir, ConvertAdapterChip};

#[cfg(test)]
mod tests;

mod core;
pub use core::*;

pub type CastFAir = VmAirWrapper<ConvertAdapterAir<1, 4>, CastFCoreAir>;
pub type CastFChip<F> = VmChipWrapper<F, ConvertAdapterChip<F, 1, 4>, CastFCoreChip>;