//ERDDAP/com.cohort.util/ScriptString2/caseInsensitiveIndexOf
caseInsensitiveIndexOf
[JVM]
open fun caseInsensitiveIndexOf(ar: Array<Any>, s: String): Int
This finds the first element in Object[] where ar[i].toString().toLowerCase() equals to s.toLowerCase(). This could have been called indexOfIgnoreCase().