Inputs (kimchi_backend.Kimchi_backend_common.Dlog_plonk_based

val name : string

module Rounds : Pickles_types.Nat.Intf

module Gate_vector : sig ... end

module Urs : sig ... end

module Scalar_field : sig ... end

module Constraint_system : sig ... end

module Index : sig ... end

module Curve : sig ... end

module Poly_comm : sig ... end

module Verifier_index : sig ... end