• Mário Pereira's avatar
    OCaml extraction: · 9f6a9955
    Mário Pereira authored
    proper extraction of named and optional arguments in functions
    with polymorphic arguments.
    9f6a9955
test_extraction.mlw 7.51 KB