Genericity

Jump to bottom Edit New page

cadrian edited this page Sep 14, 2010 · 1 revision

"Type_Parameters" is
   "[" "Type_Parameter" ( "," "Type_Parameter" )* "]"
end

"Type_Parameter" is
   "class name"
      [ "create" "entity name" ( "," "entity name" )* ]
      [ "->" ( "class name" | "{" "class_name" ("," "class name" )* "}" ]
end