-
Mário Pereira authored
New label can be used to avoid printing type definitions that are only useful inside ghost, and so we do not want to get them in the extracted code. Labels [ocaml:named] and [ocaml:remove] moved into /src/mlw/ocaml_printer.ml
4e0de3ee