Link Search Menu Expand Document

Languages-beta : OC-L-04-Type-Expressions.cbs | PRETTY | PDF


Language "OCaml Light"

4 Type expressions

Syntax
  T : typexpr
  ::= '\'' ident
    | '_'
    | '(' typexpr ')'
    | typexpr '->' typexpr
    | typexpr star-typexpr+
    | typeconstr
    | typexpr typeconstr
    | '(' typexpr comma-typexpr+ ')' typeconstr

  ST : star-typexpr ::= '*' typexpr

  CT : comma-typexpr ::= ',' typexpr

  PT : poly-typexpr 
  ::= typexpr  
    | ( '\'' ident )+ '.' typexpr