/* istanbul ignore file: pure exports, test unecessary */

export * from "./EIP712";