Module String_id

module String_id: String_id

include Identifier