Raminit.Ast
type addr = int
address
type half = Big_int.big_int
halfword
type t =
| Map of addr * half
A mapping from an address to a halfword.
type maps = t list
List of maps
val print_map : t -> unit
print_map m prints the content of the map m.
print_map m
m
val print_maps : maps -> unit
print_maps l print the contents of all the maps in the list l
print_maps l
l