Parameter Make.X

type 'a t = 'a x
val make : unit -> 'a t