Provide an interface for toplevel/topstart.ml

Author: shindere

.depend

@@ -6454,9 +6454,12 @@ toplevel/toploop.cmi : \
     typing/env.cmi
 toplevel/topmain.cmi :
 toplevel/topstart.cmo : \
-    toplevel/topmain.cmi
+    toplevel/topmain.cmi \
+    toplevel/topstart.cmi
 toplevel/topstart.cmx : \
-    toplevel/topmain.cmi
+    toplevel/topmain.cmi \
+    toplevel/topstart.cmi
+toplevel/topstart.cmi :
 toplevel/trace.cmi : \
     typing/types.cmi \
     typing/path.cmi \

toplevel/topstart.mli

@@ -0,0 +1,19 @@
+(**************************************************************************)
+(*                                                                        *)
+(*                                 OCaml                                  *)
+(*                                                                        *)
+(*             Sebastien Hinderer, projet Cambium, INRIA Paris            *)
+(*                                                                        *)
+(*   Copyright 2022 Institut National de Recherche en Informatique et     *)
+(*     en Automatique.                                                    *)
+(*                                                                        *)
+(*   All rights reserved.  This file is distributed under the terms of    *)
+(*   the GNU Lesser General Public License version 2.1, with the          *)
+(*   special exception on linking described in the file LICENSE.          *)
+(*                                                                        *)
+(**************************************************************************)
+
+(* Interface to the toplevel's start module *)
+
+(* This interface file is empty because the toplevel/topstart.ml only runs
+   code during initialisation and exports nothing *)