pub fn derive_native_recursors(
ctx: &Context,
decl: &NestedDecl,
) -> KernelResult<Vec<NativeRecursor>>Expand description
Reconstruct checked generic recursors from the existing mutual generator.
The source nested datatype must already be checked and registered in ctx. Results, motives and minor groups follow source/container discovery order. Specialization lives in a private context; each restored implementation is checked again against the original generic declarations before being returned.