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