Module Allocation_functor

module Intf : sig ... end
module Make : sig ... end
module Table : sig ... end