Module Simulate_utils

module Simulate_utils: sig .. end

val mk_undef_value : int -> Region_bitvector.t
val get_nb_undef_builds : unit -> int
val incr_undef_loads : unit -> unit
val get_undef_loads : unit -> int
val mk_sup : Bigint.t -> int -> Bigint.t