With_interface (zprize.Field_ops_lib.Montgomery_reduction.With

Parameters

module M : sig ... end

module Config = Config

val bits : int

module I : sig ... end

module O : sig ... end

val create : 
  config:Config.t ->
  p:Z.t ->
  Hardcaml.Scope.t ->
  Hardcaml.Signal.t I.t ->
  Hardcaml.Signal.t O.t