Module Metapoints.MakeSource

Parameters

module X : UnaryMakeS with type 'a t = 'a x

Signature

Sourceval make : unit -> t