Module Ascription Abstraction of internal details can be done y forcing a module to be seen through a signature module AbsSet = (IntSet: Set) cf. 1.1 Overview †