Consuming proofs created by zkprogram in the zkapp

[snow turtle]

I am following the docs at https://docs.minaprotocol.com/zkapps/tutorials/recursion#consume-the-proofs
There the type RollupProof is referenced. However from where is it imported/generated?

Consuming proofs created by zkprogram in the zkapp

[brittle copper]

https://github.com/o1-labs/docs2/blob/main/examples/zkapps/09-recursion/src/rollup.ts