diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Expressions.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Expressions.ml b/src/Expressions.ml index c0ee90a9..0246530b 100644 --- a/src/Expressions.ml +++ b/src/Expressions.ml @@ -4,6 +4,7 @@ open Values type field_proj_kind = | ProjAdt of TypeDefId.id * VariantId.id option | ProjTuple of int +(* arity of the tuple *) type projection_elem = | Deref |