module example is

  datatype unixUserId <- xsd:string is
    @xsd:maxLength = 8
  end

end