Hello caml-list,I don't quite understand what the error is here: type foo = <bar:int;..>error:A type variable is unbound in this type declaration.In definition < bar : int; .. > the variable 'a is unbound cheers--Jacques