simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-07 03:35:30 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

more tests

Browse source
This commit is contained in:
Simon Cruanes 2017-12-24 17:21:57 +01:00
parent a249f2ac0b
commit c12f2d2095
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/core/CCOrd.ml
View file

@ -25,6 +25,13 @@ let equiv i j =
not (equiv 1 0) not (equiv 1 0)
*) *)
(*$Q
Q.(pair int int) (fun (x,y) -> \
(equiv x y) = (equiv y x))
Q.(triple int int int) (fun (x,y,z) -> \
if (equiv x y && equiv y z) then (equiv x z) else true)
*)
let int (x:int) y = Pervasives.compare x y let int (x:int) y = Pervasives.compare x y
let string (x:string) y = Pervasives.compare x y let string (x:string) y = Pervasives.compare x y
let bool (x:bool) y = Pervasives.compare x y let bool (x:bool) y = Pervasives.compare x y