Ocaml Phrasebook (part 4) Type terms are a little different typedef foo bar; type bar = foo typedef enum { peas, type veg = Peas kale, | Kale corn } veg; | Corn Note: constructor names start with Upper Case Letters, and type names start with lower case letters. typedef list foo; type foo = int list template type 'a foo = { member: 'a } class foo { T & member; } // invalid polymorphic C++ (* valid polymorphic ocaml *) template type 'a bar = 'a foo typedef foo bar ;