Cleaning up stuff in normalization. Mainly replace arguments with only required elementsnode_Table hashtbl is now only available through functions of the corelang.mli
Cleaning up stuff in normalization. Mainly replace arguments with only required elements
node_Table hashtbl is now only available through functions of the corelang.mli