Module Field_ops_model.Approx_msb_multiplier_model

val p : Z.t
val k : int
val m : Z.t
val sel_bottom : Z.t -> int -> Z.t
module Level : sig ... end
val estimated_upper_bound_error : levels:Level.t list -> lo:int -> w:Core__Int.t -> Z.t
val ceil_div : Z.t -> Z.t -> Z.t
val estimate_delta_error_2_to_n : Level.t list -> Z.t
val golden_config_2222 : Level.t list
val golden_config_332 : Level.t list
val build_precompute_two : int -> Z.t Core.Int.Table.t
val build_precompute : ?verbose:bool -> Core.Int.t -> int Core.Int.Table.t
val split_top_and_btm : k:int -> Z.t -> Z.t * Z.t
val split3 : k:int -> Z.t -> Z.t * Z.t * Z.t
val approx_msb_multiply : levels:Level.t Base.list -> w:Base.int -> Z.t -> Z.t -> Z.t