typescript defs