diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2025-01-07 22:40:19 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2025-01-22 12:22:26 +0100 |
| commit | 986bcb796d8b9e1f485baa8da599aa816c56b587 (patch) | |
| tree | 76a83796a60ec0e30575d3078518c6e2545cd4b0 /lib/expression/t.mli | |
| parent | 5e15341857e57671a3c617579e3d5dcc89040936 (diff) | |
Explicitly list all the availables functions
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 *) |