M2compiler-V3/docs/gaps/gap15_lib.def

DEFINITION MODULE Gap15Lib;
(* Companion: re-exports Gap15Base's type (the impb analogue). *)
IMPORT Gap15Base;
TYPE Colour = Gap15Base.Colour;
END Gap15Lib.