Module Std_kernel.Pool

module Pool: Pool

include Pool_intf.Pool