Parameter Make.1-Allocator

type t
type pointer
val alloc : t -> int -> pointer list