Overview

• structure defines module implementation

• signature defines module interface

  • hides other aspects of underlying structure

• open imports a module for naming convenience

  • We won’t cover this

• functor supports parameterized module implementations

Previous slide

Next slide

Back to first slide

View graphic version