Module type Maths.Custom

module type Custom = sig .. end

Signature of a module containing only one element of type u C.t, for a module C : CustomT. The type u will actually be constrained to math list when it is defined... See the constructor Custom below.

module C: Maths.CustomT 

type u 

val content : u C.t