Commit 0445849f authored by Andrei Paskevich's avatar Andrei Paskevich

make Decl.decl_node private (as every other _node type)

parent 781da1ce
......@@ -95,7 +95,7 @@ type decl = private {
d_tag : Weakhtbl.tag; (* unique magical tag *)
}
and decl_node =
and decl_node = private
| Dtype of tysymbol (* abstract types and aliases *)
| Ddata of data_decl list (* recursive algebraic types *)
| Dparam of lsymbol (* abstract functions and predicates *)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment