diff options
Diffstat (limited to 'lib/configuration/importConf.mli')
| -rw-r--r-- | lib/configuration/importConf.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/configuration/importConf.mli b/lib/configuration/importConf.mli index 3a8ae75..be1d1d4 100644 --- a/lib/configuration/importConf.mli +++ b/lib/configuration/importConf.mli @@ -12,7 +12,7 @@ val t_of_yojson : Yojson.Safe.t -> Syntax.t val t_of_toml : Otoml.t -> (Syntax.t, string) result val get_table_for_name : Syntax.t -> string option -> Table.t -val get_dependancies_for_table : Syntax.t -> Table.t -> Syntax.extern list +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 @@ -20,4 +20,4 @@ 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 -> string +val print_extern : Syntax.Extern.t -> string |