Functor Maths.Mk_Custom

module Mk_Custom: functor (C : CustomT) -> sig .. end

Convenient functor to use the Custom constructor.

Parameters:

C : CustomT

val custom : Maths.math list C.t -> Maths.math