openvm_
native_
recursion
0.1.0-alpha
Outer
Input
Proof
Aliased type
In openvm_
native_
recursion::
config::
outer
openvm_native_recursion
::
config
::
outer
Type Alias
OuterInputProof
Copy item path
Source
pub type OuterInputProof =
Vec
<
OuterBatchOpening
>;
Aliased Type
ยง
struct OuterInputProof {
/* private fields */
}