X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=lib%2Fvirt_mem_mmap.mli;h=c66ba791370e8ca3e802f636bd9f209513e2c3a6;hb=f7abd816091c98cf1e1c227ecbbfebc9e791819c;hp=50650b4192410b68f38d94f905b11593344c2d91;hpb=f515867f07955345c801e13e6667485667cfc199;p=virt-mem.git

diff --git a/lib/virt_mem_mmap.mli b/lib/virt_mem_mmap.mli
index 50650b4..c66ba79 100644
--- a/lib/virt_mem_mmap.mli
+++ b/lib/virt_mem_mmap.mli
@@ -87,8 +87,14 @@ type ('ws,'e,'hm) t
     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). *)