Module Token_id.Replace_polymorphic_compare