Fully qualified path: core::circuit::RangeCheck96
core::circuit::RangeCheck96
pub extern type RangeCheck96