Commit 8a9bd931 authored by Adrien KOUTSOS's avatar Adrien KOUTSOS

implemented hash consing with 2 weak tables

parent 8db81520
Pipeline #1655 failed with stage
in 10 seconds
This diff is collapsed.
......@@ -26,6 +26,10 @@ and _ term_cnt = private
(* Miscellaneous *)
(*****************)
val t_equal : 'a term -> 'b term -> bool
val t_compare : 'a term -> 'b term -> int
val get_sort : 'a term -> 'a sort
(* term_free_variables t : Return the lists (free,b_free) of, respectively,
......
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