• Mário Pereira's avatar
    Refinement. · 6c1f26d8
    Mário Pereira authored
    Exported [close_record_invariant] function from pdecl.ml so
    that it can also be used in pmodule.ml
    6c1f26d8
pmodule.ml 42.9 KB