Arithmetic_gates (mavkit-libs.Plonk.Arithmetic

module L = Plompiler.LibCircuit

module type Params = sig ... end

module AddWire (Params : Params) : Gates_common.Base_sig

val linear_monomial : 
  ?is_next:bool ->
  int ->
  string ->
  (module Gates_common.Base_sig)

module Constant : Gates_common.Base_sig

module Multiplication : Gates_common.Base_sig

module X2B : Gates_common.Base_sig

module X5A : Gates_common.Base_sig

module X5C : Gates_common.Base_sig

module Public : Gates_common.Base_sig

module InputCom (Com : sig ... end) : Gates_common.Base_sig