Three more examples of monotonicity failures in OCaml#12

yallop wants to merge 1 commit into

stedolan:mainstedolan/counterexamples:mainfrom

yallop:more-monotonicityyallop/counterexamples:more-monotonicityCopy head branch name to clipboard