'use strict';varGetIntrinsic=require('../GetIntrinsic');var$TypeError=GetIntrinsic('%TypeError%');varweekdays=['Sun','Mon','Tue','Wed','Thu','Fri','Sat'];varmonths=['Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec'];var$isNaN=require('../helpers/isNaN');varpadTimeComponent=require('../helpers/padTimeComponent');varType=require('./Type');varWeekDay=require('./WeekDay');varMonthFromTime=require('./MonthFromTime');varYearFromTime=require('./YearFromTime');varDateFromTime=require('./DateFromTime');// https://www.ecma-international.org/ecma-262/9.0/#sec-datestringmodule.exports=functionDateString(tv){if(Type(tv)!=='Number'||$isNaN(tv)){thrownew$TypeError('Assertion failed: `tv` must be a non-NaN Number');}varweekday=weekdays[WeekDay(tv)];varmonth=months[MonthFromTime(tv)];varday=padTimeComponent(DateFromTime(tv));varyear=padTimeComponent(YearFromTime(tv),4);returnweekday+'\x20'+month+'\x20'+day+'\x20'+year;};