Module Unsigned.Overflow

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