Searched refs:removeArraySize (Results 1 – 1 of 1) sorted by relevance
196 in case removeArraySize relOfs innerLen of332 case removeArraySize i (U.length u) of338 removeArraySize :: Offset ty -> CountOf ty -> Maybe (Offset ty)339 removeArraySize (Offset ty) (CountOf s) function