diff options
Diffstat (limited to 'src/Pure.ml')
| -rw-r--r-- | src/Pure.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Pure.ml b/src/Pure.ml index ebc92258..6729a43d 100644 --- a/src/Pure.ml +++ b/src/Pure.ml @@ -497,6 +497,7 @@ type expression = field accesses with calls to projectors over fields (when there are clashes of field names, some provers like F* get pretty bad...) *) + | Abs of typed_lvalue * texpression (** Lambda abstraction: `fun x -> e` *) | Func of func (** A function - TODO: change to Qualifier *) | Let of bool * typed_lvalue * texpression * texpression (** Let binding. |