DEFINITION MODULE Gap15Base; (* Companion for the gap15 qualified-import repros. *) TYPE Colour = (red, green); END Gap15Base.