diff options
Diffstat (limited to 'html-test/ref/Hash.html')
| -rw-r--r-- | html-test/ref/Hash.html | 21 |
1 files changed, 7 insertions, 14 deletions
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index 06a7a19d..c459b524 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -73,8 +73,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");}; ><div class="doc" ><p >Implementation of fixed-size hash tables, with a type - class for constructing hash values for structured types. -</p + class for constructing hash values for structured types.</p ></div ></div ><div id="synopsis" @@ -164,8 +163,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");}; ><a href="" >Eq</a ></code - >. -</p + >.</p ></div ></div ><h2 id="g:2" @@ -189,8 +187,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");}; > key val)</p ><div class="doc" ><p - >Builds a new hash table with a given size -</p + >Builds a new hash table with a given size</p ></div ></div ><div class="top" @@ -206,8 +203,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");}; > ()</p ><div class="doc" ><p - >Inserts a new element into the hash table -</p + >Inserts a new element into the hash table</p ></div ></div ><div class="top" @@ -234,8 +230,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");}; ><a href="" >Nothing</a ></code - > otherwise. -</p + > otherwise.</p ></div ></div ><h1 id="g:3" @@ -253,8 +248,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");}; ></p ><div class="doc" ><p - >A class of types which can be hashed. -</p + >A class of types which can be hashed.</p ></div ><div class="subs methods" ><p class="caption" @@ -273,8 +267,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Hash.html");}; ><a href="" >Int</a ></code - > -</p + ></p ></div ></div ><div class="subs instances" |