diff options
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 (* |