[top][index]
search for:
DoubleArrow

The header type DoubleArrow is a member of the class HeaderType. Each object of class DoubleArrow is called a double arrow expression. Each double arrow expression is also a member of class Expression.

More general types (whose methods may also apply) :

  • Expression -- the class of all expressions
  • BasicList -- the class of all basic lists

    • DoubleArrow -- a type of Expression which represents something of the form a => b.

    This is experimental, and intended for internal use only.

    Methods for using a double arrow expression :

  • net DoubleArrow
  • precedence DoubleArrow
  • value DoubleArrow

    • [top][index]
    search for: