sig module C : CustomT type u val content : Maths.Custom.u C.t end