missing function

This commit is contained in:
Simon Cruanes 2017-04-19 22:09:46 +02:00
parent 93568949e6
commit 71ad95044f
2 changed files with 2 additions and 0 deletions

View file

@ -11,6 +11,7 @@ let int : int t = (=)
let string : string t = (=)
let bool : bool t = (=)
let float : float t = (=)
let unit () () = true
let rec list f l1 l2 = match l1, l2 with
| [], [] -> true

View file

@ -15,6 +15,7 @@ val int : int t
val string : string t
val bool : bool t
val float : float t
val unit : unit t
val list : 'a t -> 'a list t
val array : 'a t -> 'a array t