Module OBMonoidSource

Sourcemodule type Kernel = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (K : Kernel) : sig ... end