Update Option.v's Parameters to Definition (!348) · Merge requests · Formal Land / Coq Tezos of OCaml 💫 · GitLab

Shubham Kumar requested to merge dev/convert-option-parameters-to-definition into master Mar 17, 2022

This a clone of https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/344

The first one was opened from the fork which didn't trigger the CI.

The additional stuff apart from https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/344 is the follow up to the edits mentioned in https://gitlab.com/nomadic-labs/coq-tezos-of-ocaml/-/merge_requests/344 by @clarus1.