Module Std_kernel.Dequeue

module Dequeue: Dequeue

include ??