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