With_interface (zprize.Field_ops_lib.Barrett_reduction.With

Parameters

module M : sig ... end

val bits : int

val output_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

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