Module Metapoints.Make

Parameters

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

Signature

val make : unit -> t