functor (C : CustomT->
  sig val custom : Maths.math list C.t -> Maths.math end