Commit 03f9b692 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-05-24 13:37:11 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-24 13:37:11+00:00
parent 45ffd32c
......@@ -484,7 +484,7 @@ end
(* It is also possible to use Boolean instead of Bool here;
need to analyze when each one is more efficient *)
and BoolPair : Bool.S with type elem = Node.t * Node.t =
Bool.Simplify(*(Bool.Make)*)(Custom.Pair(NodeT)(NodeT))
(*Bool.Simplify*)(Bool.Make)(Custom.Pair(NodeT)(NodeT))
and BoolRec : Bool.S with type elem = bool * Node.t label_map =
(*Bool.Simplify*)(Bool.Make)(Custom.Pair(Custom.Bool)(LabelSet.MakeMap(NodeT)))
......
......@@ -75,8 +75,8 @@ Alain Frisch.
<link url="http://www.cduce.org/download/ulex-0.4.tar.gz" title="Download">
Version 0.4, for OCaml &lt;= 3.07.
</link>
<link url="http://www.cduce.org/download/ulex-0.5.tar.gz" title="Download">
Version 0.5, for OCaml 3.08.
<link url="http://www.cduce.org/download/ulex-0.7.tar.gz" title="Download">
Version 0.7, for OCaml 3.08, 3.09.
</link>
<p>
In addition to CDuce, <code>ulex</code> is also used in other
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment