> Folks,
>
> I see this in the LexiFI presentation:
>
> # let t1 = 2002-12-20T16:00 (* ISO 8601 notation *) ;;
> val t1 : date = 2002-12-20T16:00:00
>
> What type of a value is 2002-12-20T16:00 and how does it get
> translated into a date?
>

Hello,
We use an *extended* version of the Ocaml compilers in order to describe
complex financial products. In particular, we added a  native date type in
MLFi, our version of OCaml.

So the type of 2002-12-20T16:00 is date as shown by the toplevel answer.

Denis