simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-28 12:24:50 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: expose more from atoms

Browse source
This commit is contained in:
Simon Cruanes 2019-06-13 10:43:04 -05:00
parent 2430eb754d
commit 33a7843162
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/core/Sidekick_core.ml
View file

@ -538,6 +538,9 @@ module type SOLVER = sig
val equal : t -> t -> bool val equal : t -> t -> bool
val hash : t -> int val hash : t -> int
val pp : t CCFormat.printer val pp : t CCFormat.printer
val formula : t -> Lit.t
val sign : t -> bool
end end
(** {3 Semantic values} *) (** {3 Semantic values} *)