From c1af4374bd33446eb8a4d75bc3f461ed8e7c284c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 28 Jul 2022 23:12:18 -0400 Subject: [PATCH] core-logic: make Types_ private --- src/core-logic/dune | 1 + src/core-logic/sidekick_core_logic.ml | 2 ++ 2 files changed, 3 insertions(+) diff --git a/src/core-logic/dune b/src/core-logic/dune index 6786b301..3fed959c 100644 --- a/src/core-logic/dune +++ b/src/core-logic/dune @@ -2,5 +2,6 @@ (name sidekick_core_logic) (public_name sidekick.core-logic) (synopsis "Core AST for logic terms in the calculus of constructions") + (private_modules types_) (flags :standard -w +32 -open Sidekick_sigs -open Sidekick_util) (libraries containers iter sidekick.sigs sidekick.util)) diff --git a/src/core-logic/sidekick_core_logic.ml b/src/core-logic/sidekick_core_logic.ml index 827a23a0..faef37b1 100644 --- a/src/core-logic/sidekick_core_logic.ml +++ b/src/core-logic/sidekick_core_logic.ml @@ -8,4 +8,6 @@ module T_builtins = T_builtins (* *) module Store = Term.Store + +(* TODO: move to separate library? *) module Str_const = Str_const