(module Doubly_linked)