mina_tree::proofs::step::step_verifier

Function domain_for_compiled

Source 
fn domain_for_compiled(
    domains: &[Domains],
    branch_data: &CompositionTypesBranchDataStableV1,
    w: &mut Witness<Fp>,
) -> PseudoDomain<Fp>