Mentions légales du service

Skip to content
  • 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