Expose builtin module.

Signed-off-by: Karolis Petrauskas <[email protected]>
tlaplus · Sep 30, 2024 · caefe81 · caefe81
1 parent da6ad30
commit caefe81
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/src/tlapm_lib.ml b/src/tlapm_lib.ml
@@ -17,6 +17,7 @@ module Deque = Deque
 module Loc = Loc
 module Ctx = Ctx
 module Backend = Backend
+module Builtin = Builtin
 
 open Proof.T
 

diff --git a/src/tlapm_lib.mli b/src/tlapm_lib.mli
@@ -15,6 +15,7 @@ module Deque = Deque
 module Loc = Loc
 module Ctx = Ctx
 module Backend = Backend
+module Builtin = Builtin
 
 val main : string list -> unit
 val init : unit -> unit