Field_ops_model
module Approx_msb_multiplier_model : sig ... end
module Barrett_reduction_model : sig ... end
module Radix : sig ... end