Module type String_id.S

module type S = sig .. end

include Identifiable
module Stable: sig .. end