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

core-logic: make Types_ private

Browse source
This commit is contained in:
Simon Cruanes 2022-07-28 23:12:18 -04:00
parent 68c03a39b3
commit c1af4374bd
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/core-logic/dune
View file

@ -2,5 +2,6 @@
(name sidekick_core_logic) (name sidekick_core_logic)
(public_name sidekick.core-logic) (public_name sidekick.core-logic)
(synopsis "Core AST for logic terms in the calculus of constructions") (synopsis "Core AST for logic terms in the calculus of constructions")
(private_modules types_)
(flags :standard -w +32 -open Sidekick_sigs -open Sidekick_util) (flags :standard -w +32 -open Sidekick_sigs -open Sidekick_util)
(libraries containers iter sidekick.sigs sidekick.util)) (libraries containers iter sidekick.sigs sidekick.util))

2
src/core-logic/sidekick_core_logic.ml
View file

@ -8,4 +8,6 @@ module T_builtins = T_builtins
(* *) (* *)
module Store = Term.Store module Store = Term.Store
(* TODO: move to separate library? *)
module Str_const = Str_const module Str_const = Str_const