• Mário Pereira's avatar
    Extraction: new label [ocaml:remove] · 4e0de3ee
    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
ident.mli 4.98 KB