A typescript types package for the Petra wallet's dapp interface.
yarn add https://github.com/aptos-labs/petra-wallet-types
import 'petra-wallet-types';
const result = await window.aptos.connect(); // checking type right
const result2 = await window.aptos.connect(true); // ERROR because connect doesn't accept parameter