render lib.d.ts