impl xs xs stringlistimpl empty_list getlength contains item item index flength stringlistimpl flength stringlistimpl array length array flength length getlength flength contains item fvector.contains item item flength flength item.equals item index index index flength fvector.elementat index index