simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

do not ask for comparison on terms and formulas

Browse source
This commit is contained in:
Simon Cruanes 2016-08-03 20:25:08 +02:00
parent 66707b58fc
commit 12fed8a811
2 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/expr_intf.ml
View file

@ -16,7 +16,6 @@ module type S = sig
type t type t
val hash : t -> int val hash : t -> int
val equal : t -> t -> bool val equal : t -> t -> bool
val compare : t -> t -> int
val print : Format.formatter -> t -> unit val print : Format.formatter -> t -> unit
end end
@ -25,7 +24,6 @@ module type S = sig
type t type t
val hash : t -> int val hash : t -> int
val equal : t -> t -> bool val equal : t -> t -> bool
val compare : t -> t -> int
val print : Format.formatter -> t -> unit val print : Format.formatter -> t -> unit
end end

3
src/core/formula_intf.ml
View file

@ -34,8 +34,7 @@ module type S = sig
val hash : t -> int val hash : t -> int
val equal : t -> t -> bool val equal : t -> t -> bool
val compare : t -> t -> int (** Usual hash and comparison functions. Given to Hashtbl functors. *)
(** Usual hash and comparison functions. Given to Map and Hash functors. *)
val print : Format.formatter -> t -> unit val print : Format.formatter -> t -> unit
(** Printing function used for debugging. *) (** Printing function used for debugging. *)