diff options
Diffstat (limited to 'toplevel/vernac.mli')
-rw-r--r-- | toplevel/vernac.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/toplevel/vernac.mli b/toplevel/vernac.mli index 5d53dab2a..ca96d9e49 100644 --- a/toplevel/vernac.mli +++ b/toplevel/vernac.mli @@ -39,3 +39,9 @@ val load_vernac : bool -> string -> unit (* Compile a vernac file, verbosely or not (f is assumed without .v suffix) *) val compile : bool -> string -> unit + +(* Interpret a vernac AST *) + +val vernac_com : + (Vernacexpr.vernac_expr -> unit) -> + Util.loc * Vernacexpr.vernac_expr -> unit |