A type definition (typedef) is a special kind of module declaration with no parameters, and a slightly different syntax. The definition of ``hands'' above can equivalently be written as
typedef hands struct{ left, right : boolean; }
The general form of this declaration is
typedef <name> <type>where <type> is any legal type specification.