Mentions légales du service

Skip to content
Snippets Groups Projects
Commit a3c3ddfc authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

*_node types do not need to be private

parent 950394f1
No related branches found
No related tags found
No related merge requests found
...@@ -76,7 +76,7 @@ type pattern = private { ...@@ -76,7 +76,7 @@ type pattern = private {
pat_ty : ty; pat_ty : ty;
} }
and pattern_node = private and pattern_node =
| Pwild | Pwild
| Pvar of vsymbol | Pvar of vsymbol
| Papp of lsymbol * pattern list | Papp of lsymbol * pattern list
...@@ -117,7 +117,7 @@ type term = private { ...@@ -117,7 +117,7 @@ type term = private {
t_loc : Loc.position option; t_loc : Loc.position option;
} }
and term_node = private and term_node =
| Tvar of vsymbol | Tvar of vsymbol
| Tconst of Number.constant | Tconst of Number.constant
| Tapp of lsymbol * term list | Tapp of lsymbol * term list
......
...@@ -114,7 +114,7 @@ type expr = private { ...@@ -114,7 +114,7 @@ type expr = private {
e_loc : Loc.position option; e_loc : Loc.position option;
} }
and expr_node = private and expr_node =
| Evar of pvsymbol | Evar of pvsymbol
| Econst of Number.constant | Econst of Number.constant
| Eexec of cexp * cty | Eexec of cexp * cty
...@@ -136,7 +136,7 @@ and cexp = private { ...@@ -136,7 +136,7 @@ and cexp = private {
c_cty : cty; c_cty : cty;
} }
and cexp_node = private and cexp_node =
| Capp of rsymbol * pvsymbol list | Capp of rsymbol * pvsymbol list
| Cpur of lsymbol * pvsymbol list | Cpur of lsymbol * pvsymbol list
| Cfun of expr | Cfun of expr
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment