Module type Make.Overflow

overflow control - wrap or saturate

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