Parameter Make.N

type t
val init : t
val fresh_blocks : t -> (string * string * string) * t