openvm_native_recursion::vars

Type Alias OuterDigestVariable

Source 
pub type OuterDigestVariable<C> = [Var<<C as Config>::N>; 1];