> # type idref={ mutable id : 'a. 'a -> 'a};;
> what does "." mean?

This just a separator.
You can read 'a. 'a -> 'a  as  (forall 'a) 'a -> 'a

  Jean-Francois Monin