M2compiler-V3/docs/gaps/gap15_base.def

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