refresh environment sigs

Marco Stronatirequested to merge
marco-proto-proposal-env-sigs into proto-proposal

Refresh the environment signatures wrt to OCaml 4.09, plus various fixes. Two things are not done in this MR because they break code in common between V0 and V1 and they didn't seem worth the effort:

  • rename pervasives into stdlib
  • add Set.disjoint
Edited by Marco Stronati

Merge request reports