Proto: comparisons return -1, 0, or 1, as per the documentation

Fixes #546
52 jobs for raphael@doc-for-compare--fixes-546 in 14 minutes and 21 seconds (queued for 15 seconds)
Status Job ID Name Coverage
  Build
passed #249583921
gitlab-org
build

00:05:50

passed #249583919
gitlab-org
check_linting

00:01:41

passed #249583908
gitlab-org
check_opam_deps

00:02:36

passed #249583912
gitlab-org
check_opam_lint

00:00:17

 
  Test
passed #249584158
gitlab-org
documentation:build

00:04:06

passed #249584163
gitlab-org allowed to fail
documentation:linkcheck

00:03:41

passed #249584053
gitlab-org
integration:baker_endorser

00:04:40

passed #249584071
gitlab-org
integration:basic

00:00:50

passed #249583963
gitlab-org
integration:basic.sh

00:01:18

passed #249584082
gitlab-org
integration:contract

00:03:39

passed #249584085
gitlab-org
integration:contract_baker

00:02:33

passed #249592317
gitlab-org
integration:contracts.sh

00:02:40

passed #249583980
gitlab-org
integration:contracts_macros.sh

00:02:59

passed #249583983
gitlab-org
integration:contracts_mini_scenarios.sh

00:02:52

passed #249583974
gitlab-org
integration:contracts_opcode.sh

00:02:26

passed #249584089
gitlab-org
integration:cors

00:02:26

passed #249584142
gitlab-org
integration:double_endorsement

00:02:39

passed #249583999
gitlab-org
integration:inject.sh

00:01:02

passed #249584099
gitlab-org
integration:injection

00:03:36

passed #249584103
gitlab-org
integration:many_bakers

00:03:41

passed #249584112
gitlab-org
integration:many_nodes

00:02:56

passed #249584118
gitlab-org
integration:mempool

00:02:41

passed #249584121
gitlab-org
integration:multinode

00:02:43

passed #249583993
gitlab-org
integration:multinode.sh

00:03:49

passed #249584023
gitlab-org
integration:proto:sandbox

00:00:42

passed #249584152
gitlab-org
integration:proto_demo_noops

00:02:23

passed #249584125
gitlab-org
integration:rpc

00:03:03

passed #249584036
gitlab-org
integration:sandboxes:acc-baking

00:03:08

passed #249584040
gitlab-org
integration:sandboxes:acc-endorsement

00:02:49

passed #249584032
gitlab-org allowed to fail
integration:sandboxes:voting

00:05:45

passed #249584145
gitlab-org
integration:snapshot

00:02:46

passed #249584131
gitlab-org
integration:tls

00:02:24

passed #249584139
gitlab-org
integration:voting

00:02:37

passed #249584008
gitlab-org
integration:voting.sh

00:02:43

passed #249583958
gitlab-org
unit:client_alpha:vote

00:02:25

passed #249583947
gitlab-org
unit:crypto

00:02:16

passed #249583940
gitlab-org
unit:data_encoding

00:02:18

passed #249583962
gitlab-org
unit:micheline

00:00:37

passed #249583957
gitlab-org
unit:p2p:banned_peers

00:02:22

passed #249583950
gitlab-org
unit:p2p:io-scheduler

00:00:47

passed #249583956
gitlab-org
unit:p2p:ipv6set

00:02:10

passed #249583955
gitlab-org
unit:p2p:peerset

00:02:17

passed #249583952
gitlab-org
unit:p2p:pool

00:00:57

passed #249583951
gitlab-org
unit:p2p:socket

00:02:16

passed #249583954
gitlab-org
unit:proto_alpha:lib_client

00:02:19

passed #249583953
gitlab-org
unit:proto_alpha:lib_protocol

00:06:52

passed #249583948
gitlab-org
unit:shell

00:02:28

passed #249583934
gitlab-org
unit:stdlib

00:02:18

passed #249583936
gitlab-org
unit:stdlib_unix

00:02:31

passed #249583943
gitlab-org
unit:storage

00:00:38

passed #249583959
gitlab-org
unit:validation

00:02:10

failed #249583969
gitlab-org
integration:contracts.sh

00:01:18