Tx_rollup (mavkit-libs.Epoxy_tx.Tx

module Constants = Constants

module Types = Types

module Utils = Utils

module HashPV = Plompiler.Anemoi128

module MerklePV : sig ... end

module SchnorrPV : sig ... end

module Hash = HashPV.P

module Merkle = MerklePV.P

module Schnorr = SchnorrPV.P

module Curve = Mec.Curve.Jubjub.AffineEdwards

module P : sig ... end

module V (L : Plompiler.LIB) : sig ... end

module PI_parameters_predicate_private_batch : sig ... end