package ĠForeign . Control . Extend ; Ċ Ċ val Ġarray Extend Ġ= Ġ{ f : ĠAny Ġ-> ĊĠ Ġ{ xs : ĠAny Ġ-> ĊĠĠĠ Ġxs Ġas ĠList < Any >; Ġf Ġas Ġ( Any )-> ĠAny ĊĠĠĠ Ġxs . map Indexed Ġ{ Ġi , Ġany Ġ-> ĊĠĠĠĠĠ Ġf ( xs . sub List ( i , xs . size )) ĊĠĠĠ Ġ} ĊĠ Ġ}; Ċ };