Module Field_ops_model.Barrett_reduction_model

val bits : int
val bits2 : int
val p : Z.t
val m : Z.t
val sel_bottom : Z.t -> int -> Z.t
val drop_bottom : Z.t -> int -> Z.t
val gte : Z.t -> Z.t -> bool
type hex_z = Z.t
val sexp_of_hex_z : Z.t -> Core.Sexp.t
val barrett_reduction : ?debug:bool -> levels:Approx_msb_multiplier_model.Level.t Base.list -> num_correction_steps:int -> Z.t -> Z.t
val generate_z : lo_incl:Bigint__.Zarith.Z.t -> hi_incl:Bigint__.Zarith.Z.t -> Bigint__.Zarith.Z.t Core.Quickcheck.Generator.t
val test : ?debug:bool -> levels:Approx_msb_multiplier_model.Level.t Base.list -> num_correction_steps:int -> Z.t -> unit
val test_random : levels:Approx_msb_multiplier_model.Level.t Base.list -> num_correction_steps:int -> Core__.Import.unit