Mentions légales du service
Exported [close_record_invariant] function from pdecl.ml so that it can also be used in pmodule.ml