diff options
Diffstat (limited to 'perl_checker.src/parser_helper.mli')
-rw-r--r-- | perl_checker.src/parser_helper.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/perl_checker.src/parser_helper.mli b/perl_checker.src/parser_helper.mli index 7c68b7d..db59ee5 100644 --- a/perl_checker.src/parser_helper.mli +++ b/perl_checker.src/parser_helper.mli @@ -82,3 +82,6 @@ val to_List : Types.fromparser list -> Types.fromparser val sub_declaration : Types.fromparser * string -> Types.fromparser list -> Types.fromparser val call : Types.fromparser * Types.fromparser list -> Types.fromparser +val call_one_scalar_para : + string * ('a * (int * int)) -> + Types.fromparser list -> Types.priority * Types.fromparser |