Parent Directory
| 
Revision Log
| 
Patch
| revision 67 by abate, Tue Jul 10 17:01:56 2007 UTC | revision 68 by abate, Tue Jul 10 17:03:05 2007 UTC | |
|---|---|---|
| # | Line 21 | Line 21 |
| 21 | ||
| 22 | ||
| 23 | module DescrHash: Hashtbl.S with type key = descr | module DescrHash: Hashtbl.S with type key = descr |
| 24 | module DescrMap: Map.S with type key = descr | |
| 25 | ||
| 26 | (* Note: it seems that even for non-functional data, DescrMap | |
| 27 | is more efficient than DescrHash ... *) | |
| 28 | ||
| 29 | (** Boolean connectives **) | (** Boolean connectives **) |
| 30 |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |