const borderTopStyle_setterinfo: JSJitInfo;