Skip to content

Type Names

There a four type of type names in Elijjah.

  1. Generic
(?|"generic") IDENT
  1. Typeof
"typeof" QUALIDENT
  1. Normal
IDENT[IDENT (, IDENT)*]
  1. Function
("func"|"proc") IDENT LPAREN args RPAREN -> returnType

Obviously for a proc, one doesn't include the return type.