Function of_zkapp_command_segment_exn

fn of_zkapp_command_segment_exn<StepConstants, WrapConstants>(
    statement: Statement<SokDigest>,
    zkapp_witness: &ZkappCommandSegmentWitness<'_>,
    spec: &SegmentBasic,
    step_prover: &Prover<Fp>,
    tx_wrap_prover: &Prover<Fq>,
    fps_path: Option<String>,
    fqs_path: Option<String>,
) -> Result<LedgerProof>
where
    StepConstants: ProofConstants,
    WrapConstants: ProofConstants + ForWrapData,