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

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

Specification
AdaStringsFixedEqual_Case_Insensitive Left Right String  Boolean AdaStringsEqual_Case_Insensitive

Wikibook

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