M2compiler-V3/docs/gaps/gap15_lib.def

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