// ĠFIR _ IDENT ICAL Ċ // Ġ! LANGUAGE : Ġ+ New Inference Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ċ Ċ fun Ġ< A 1 > Ġfun 2 ( f : Ġkotlin . reflect . K Function 1 < A 1 , ĠUnit >, Ġa : ĠA 1 ) Ġ{ ĊĠĠĠ Ġf . invoke ( a ) Ċ } Ċ Ċ fun Ġcontains Regex ( var arg Ġother Patterns : ĠString ) Ġ{} Ċ Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġfun 2 (:: contains Regex , ĠarrayOf (" foo ")) Ċ } Ċ