module Int: Abstract_interp.Int
Abstract_interp.Int
include My_bigint.S
include Abstract_interp.LatValue
val pretty : Format.formatter -> t -> unit
Format.formatter -> t -> unit
val fold : (t -> 'a -> 'a) -> inf:t -> sup:t -> step:t -> 'a -> 'a
(t -> 'a -> 'a) -> inf:t -> sup:t -> step:t -> 'a -> 'a