Could anyone tell me where in ocaml source is the type checking of the
format type. I really need a new identifier for a function taking exacly 
one parameter of type unit.

Cezary Kaliszyk
--