Module Signed.Overflow

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