Go backward to Another Example Go up to Top Go forward to Parametric Modules

Quantification and Modules

• Modules
  • Abstract data type packaged with operators.
  • Can import other (known) modules.
  • Can be parameterized with (unknown) modules.
• Parametric modules
  • Functions over existential types.