Lambda_lib.Ast
type name = string
type 'name t =
| Var of 'name
Variable x
x
| Abs of 'name * 'name t
Abstraction λx.t
λx.t
| App of 'name t * 'name t
The main type for our AST (дерева абстрактного синтаксиса)
In type definition above the 3rd constructor is intentionally without documentation to test linter