Module type Fixed_intf.Overflow

module B : sig ... end
type t
val wrap : t
val saturate : t
val eval : t -> Hardcaml__.Import.int -> Hardcaml__.Import.int -> B.t -> B.t