From 7d59846d72a1d1ba05f1225fcc8bb1678d69731c Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 8 Aug 2022 21:52:39 -0400
Subject: [PATCH] wip: refactor base

---
 src/base/Form.mli     | 2 +-
 src/base/Statement.ml | 1 -
 src/base/Ty.ml        | 1 -
 3 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/base/Form.mli b/src/base/Form.mli
index e184db65..4b635b29 100644
--- a/src/base/Form.mli
+++ b/src/base/Form.mli
@@ -34,7 +34,7 @@ val neq : Term.store -> term -> term -> term
 val imply : Term.store -> term -> term -> term
 val equiv : Term.store -> term -> term -> term
 val xor : Term.store -> term -> term -> term
-val ite : Term.store -> term -> term -> term
+val ite : Term.store -> term -> term -> term -> term
 
 (* *)
 
diff --git a/src/base/Statement.ml b/src/base/Statement.ml
index 9c2d0595..22abe1aa 100644
--- a/src/base/Statement.ml
+++ b/src/base/Statement.ml
@@ -1,4 +1,3 @@
-open Sidekick_core
 open Types_
 
 type t = statement =
diff --git a/src/base/Ty.ml b/src/base/Ty.ml
index 7370d0bd..aaa431d5 100644
--- a/src/base/Ty.ml
+++ b/src/base/Ty.ml
@@ -1,6 +1,5 @@
 (** Core types *)
 
-open Sidekick_core
 include Sidekick_core.Term
 open Types_