diff options
| author | Chimrod <> | 2024-02-03 17:41:28 +0100 |
|---|---|---|
| committer | Chimrod <> | 2024-02-08 11:45:10 +0100 |
| commit | 35ef1827a216a1deb6d15f916ff197b0c75bc83e (patch) | |
| tree | e728adf4c035ae29cf1dec37e0d01b4590a3ee4d /lib/syntax/default.ml | |
| parent | 82c63921c09e2b07d3d5fbf82a912bbe707ffecb (diff) | |
Updated the interface for default expression analyzer
Diffstat (limited to 'lib/syntax/default.ml')
| -rw-r--r-- | lib/syntax/default.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/syntax/default.ml b/lib/syntax/default.ml index 9e9a8ef..d345401 100644 --- a/lib/syntax/default.ml +++ b/lib/syntax/default.ml @@ -17,6 +17,8 @@ module Expression (T' : T) = struct If missing, the index should be considered as [0]. *) + type t' = T'.t + let ident : (S.pos, T'.t) S.variable -> T'.t = fun _ -> T'.default (* |