Skip to content

GitLab

why3
why3
Commit dad2bdf3 authored by MARCHE Claude's avatar MARCHE Claude
Browse files
Options

add necessary comment

parent 4a6dd81e
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 0 deletions
src/core/term.mli
View file @ dad2bdf3
......@@ -145,6 +145,8 @@ module Mterm : Extmap.S with type key = term
module Sterm : Extset.S with module M = Mterm
module Hterm : Exthtbl.S with type key = term
(** term equality modulo alpha-equivalence and location *)
val t_compare : term -> term -> int
val t_equal : term -> term -> bool
val t_hash : term -> int
......
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