annotations in CCEqual, for optimization

This commit is contained in:
Simon Cruanes 2017-04-19 22:08:56 +02:00
parent 8460b01f2f
commit 93568949e6

View file

@ -7,10 +7,10 @@ type 'a t = 'a -> 'a -> bool
let poly = (=) let poly = (=)
let int = (=) let int : int t = (=)
let string = (=) let string : string t = (=)
let bool = (=) let bool : bool t = (=)
let float = (=) let float : float t = (=)
let rec list f l1 l2 = match l1, l2 with let rec list f l1 l2 = match l1, l2 with
| [], [] -> true | [], [] -> true