Module Doubly_linked

module Doubly_linked: sig .. end

include Core_kernel.Doubly_linked