Define Either
Define primitives in the https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/environment/either module.
-
equal
-
compare
Edited by Natasha Klaus
Define primitives in the https://nomadic-labs.gitlab.io/coq-tezos-of-ocaml/docs/environment/either module.
equal
compare