diff options
Diffstat (limited to 'lib/expression/t.mli')
-rw-r--r-- | lib/expression/t.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/expression/t.mli b/lib/expression/t.mli index 4b13ac6..49ef3e7 100644 --- a/lib/expression/t.mli +++ b/lib/expression/t.mli @@ -53,4 +53,6 @@ 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 +(** Create a function with the given name *) |