Parameter Make.Bound

type 'a t = private Z.t
val v : 'a t -> Z.t