Ada Programming/Libraries/Ada.Strings.Equal Case Insensitive

is a unit of the Predefined Language Environment since Ada 2012.

Specification
AdaStringsEqual_Case_Insensitive Left Right String Boolean PureAdaStringsEqual_Case_Insensitive

Wikibook

 * Ada Programming/Libraries/Ada
 * Ada Programming/Libraries/Ada.Strings