Browse thread
'_a
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Stefan Monnier <monnier@i...> |
| Subject: | Re: '_a |
> (b) the codomain is mis-specified, we actually have
> List.hd: 'a list -> Some 'a
Funny, I always assumed that the domain of List.hd was "'a list - []".
Stefan