From 33a784316276c0d81ec08c4ce583e86893fc690b Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 13 Jun 2019 10:43:04 -0500
Subject: [PATCH] feat: expose more from atoms

---
 src/core/Sidekick_core.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/core/Sidekick_core.ml b/src/core/Sidekick_core.ml
index 788d2b15..845ef121 100644
--- a/src/core/Sidekick_core.ml
+++ b/src/core/Sidekick_core.ml
@@ -538,6 +538,9 @@ module type SOLVER = sig
     val equal : t -> t -> bool
     val hash : t -> int
     val pp : t CCFormat.printer
+
+    val formula : t -> Lit.t
+    val sign : t -> bool
   end
 
   (** {3 Semantic values} *)