Module type Dba2Codex.RegionS

module Virtual_address : Address_sig

val written_data_addrs : Virtual_address.Set.t Stdlib.ref

val read_data_addrs : Virtual_address.Set.t Stdlib.ref

val set_untyped_load : bool -> unit

val set_check_store_intvl : bool -> unit

val set_param_typing : (TypedC.typ * int) Virtual_address.Htbl.t -> unit