Home Online Manual
Top
Back: module declarations (plural)
Forward: module operations (plural)
FastBack: map (plural)
FastForward: poly (plural)
Up: module (plural)
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

7.2.3.2 module expressions (plural)

A module expression is:

  1. an identifier of type module
  2. a function returning module
  3. module expressions combined by the arithmetic operation +
  4. multiplication of a module expression with an ideal or a poly expression: *
  5. a type cast to module