From f654e622e9ddf7674c666994c6056c7d65799cfe Mon Sep 17 00:00:00 2001 From: Piotr Polesiuk Date: Sun, 22 Dec 2024 20:43:55 +0100 Subject: [PATCH] Fixed documentation comments --- src/Lang/Surface.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Lang/Surface.ml b/src/Lang/Surface.ml index 9cdf4893..8386340d 100644 --- a/src/Lang/Surface.ml +++ b/src/Lang/Surface.ml @@ -199,7 +199,7 @@ and named_pattern_data = | NP_Open (** Introduce everything into the environment *) -(** Polymorphic expressions *) +(** Polymorphic expressions, at the place of use. *) type poly_expr_use = poly_expr_use_data node and poly_expr_use_data = | EVar of var path @@ -211,7 +211,7 @@ and poly_expr_use_data = | EMethod of expr * method_name (** Call of a method *) -(** Polymorphic expression *) +(** Polymorphic expressions, at the place of definition. *) and poly_expr_def = poly_expr_def_data node and poly_expr_def_data = | PE_Expr of expr