- matitacLib merged into matitaEngine

[helm.git] / matita / matita / matitaEngine.mli

diff --git a/matita/matita/matitaEngine.mli b/matita/matita/matitaEngine.mli
index 2639f1d046e760333804964d2aea256b29cf2fa0..29f3a5a0b64169649655dfb29c1738b19d3b7aec 100644 (file)
--- a/matita/matita/matitaEngine.mli
+++ b/matita/matita/matitaEngine.mli
@@ -44,3 +44,13 @@ val eval_from_stream :
   include_paths:string list -> ?do_heavy_checks:bool -> GrafiteTypes.status ->
    Ulexing.lexbuf -> (GrafiteTypes.status -> GrafiteAst.statement -> unit) ->
     GrafiteTypes.status
+
+val toplevel:
+  #GrafiteParser.status -> include_paths:string list -> string ->
+    GrafiteParser.ast_statement
+
+(* EX MATITACLIB *)
+module Make : sig
+   val make: string -> string list -> bool
+end
+(* FINE EX MATITACLIB *)