aboutsummaryrefslogtreecommitdiff
path: root/lib/expression/t.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2024-12-26 21:29:46 +0100
committerSébastien Dailly <sebastien@dailly.me>2024-12-26 21:29:46 +0100
commit6883d69e0f8eb0e67928ad2cfc92bf0792f948c9 (patch)
treebb3bf5c8b4237a7d08f3b3625d2f18b47733a768 /lib/expression/t.mli
parentd9022188b6391728a4112b3e632744fb3a548569 (diff)
Removed some code from the parser and moved it into the Expression.T module
Diffstat (limited to 'lib/expression/t.mli')
-rw-r--r--lib/expression/t.mli1
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