diff options
Diffstat (limited to 'lib/expression/t.mli')
| -rw-r--r-- | lib/expression/t.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/expression/t.mli b/lib/expression/t.mli index 3cd5d23..4b13ac6 100644 --- a/lib/expression/t.mli +++ b/lib/expression/t.mli @@ -53,3 +53,4 @@ val name_of_window : 'a window -> string val map_window : f:('a -> 'b) -> 'a window -> 'b window val window_of_name : string -> 'a option -> 'a window val name_of_function : funct -> string +val function_of_name : 'a t list -> string -> 'a t |