initializing certain parts of the memory map. If you are not
familiar with phantom types, you can just ignore them.
- See also:
- [http://camltastic.blogspot.com/2008/05/phantom-types.html] *)
+ See also
+ {{:http://camltastic.blogspot.com/2008/05/phantom-types.html}this
+ posting about the phantom types used in virt-mem}.
+
+ The memory map structure is an example of a
+ {{:http://en.wikipedia.org/wiki/Purely_functional}persistent
+ data structure}.
+*)
type addr = int64
(** Virtual memory addresses (even on 32 bit machines). *)