Plonk_constraint_system (kimchi_backend.Kimchi_backend_common.Plonk_constraint

module Make
  (Fp : Field.S)
  (Gates : Plonk_constraint_system.Gate_vector_intf with type field := Fp.t)
  (Params : sig ... end) : 
  sig ... end

module Plonk_constraint : sig ... end

type ('f, 'rust_gates) t

val get_public_input_size : ( 'a, 'b ) t -> int Core_kernel.Set_once.t

val get_rows_len : ( 'a, 'b ) t -> int