Cleanup
This commit is contained in:
parent
821c980e3e
commit
c534d6dff2
@ -19,8 +19,6 @@ and declaration =
|
||||
* an expression *)
|
||||
| Declaration_constant of (expression_variable * type_expression option * inline * expression)
|
||||
|
||||
(* | Macro_declaration of macro_declaration *)
|
||||
|
||||
and expr = expression
|
||||
|
||||
and lambda = {
|
||||
|
@ -15,8 +15,6 @@ and declaration =
|
||||
* the environment after the declaration (i.e. with that new declaration added to the original environment). *)
|
||||
| Declaration_constant of (named_expression * inline * (full_environment * full_environment))
|
||||
|
||||
(* | Macro_declaration of macro_declaration *)
|
||||
|
||||
and environment_element_definition =
|
||||
| ED_binder
|
||||
| ED_declaration of (annotated_expression * free_variables)
|
||||
|
Loading…
Reference in New Issue
Block a user