diff options
Diffstat (limited to 'lib/configuration/importConf.mli')
| -rw-r--r-- | lib/configuration/importConf.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/configuration/importConf.mli b/lib/configuration/importConf.mli index c88b0f1..9ddc40c 100644 --- a/lib/configuration/importConf.mli +++ b/lib/configuration/importConf.mli @@ -14,9 +14,5 @@ val get_table_for_name : Syntax.t -> string option -> Table.t val get_dependancies_for_table : Syntax.t -> Table.t -> Syntax.Extern.t list (** Get all the externals refered by the source *) -val print_path_expression : Path.t ImportExpression.T.t -> string - val expression_from_string : string -> (Path.t ImportExpression.T.t, string) result - -val print_extern : Syntax.Extern.t -> string |