that was quite the breakup

.ocamlformat

@@ -0,0 +1 @@
+ 

bin/dune

@@ -1,7 +1,30 @@
 (executables
  (names main)
  (modes byte)
+  (modules main)
  (link_flags (-linkall))
- (libraries komm tsdl tgls.tgles2 wall irmin-unix compiler-libs.common compiler-libs.bytecomp compiler-libs.toplevel ocaml-compiler-libs.common ocaml-compiler-libs.toplevel zed))
-
+ (libraries topinf
+            tsdl
+            tgls.tgles2
+            wall
+            zed
+            irmin-unix
+            ocaml-compiler-libs.common
+            ocaml-compiler-libs.bytecomp
+            ocaml-compiler-libs.toplevel
+            findlib))
 
+(library
+ (name topinf)
+ (modes byte)
+ (modules topinf)
+ (libraries tsdl
+            tgls.tgles2
+            wall
+            zed
+            irmin-unix
+            ocaml-compiler-libs.common
+            ocaml-compiler-libs.bytecomp
+            ocaml-compiler-libs.toplevel
+            findlib))
+  

bin/init.ml

@@ -0,0 +1,6 @@
+#directory "";;
+
+let x = 1.0;;
+
+assert (x = 1.0)
+  

bin/topinf.mli

@@ -0,0 +1,12 @@
+(* Accessors for the table of toplevel value bindings.  These functions
+     must appear as first and second exported functions in this module.
+     (See module Translmod.) *)
+val getvalue : string -> Obj.t
+
+val setvalue : string -> Obj.t -> unit
+
+val print_toplevel_value_bindings : unit -> unit
+
+type evalenv = Format.formatter -> string -> unit
+
+val init : Format.formatter -> evalenv