skaller writes:
 > I'm confused:
 > 
 >        Objective Caml version 2.99 (99/12/08)
 > 
 > # let f (lx:x : int) = x + 1;;
 > Syntax error

The labels have to be at the "top".

# let f lx:(x : int) = x + 1;
val f : lx:int -> int = (fun)

Dave Brown