Skip to content

Commit

Permalink
chore(types): less ambient
Browse files Browse the repository at this point in the history
  • Loading branch information
turadg committed Nov 6, 2024
1 parent e73afcb commit 769de1f
Show file tree
Hide file tree
Showing 2 changed files with 9 additions and 2 deletions.
6 changes: 4 additions & 2 deletions packages/agoric-cli/src/lib/format.js
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,10 @@
import { Fail, q } from '@endo/errors';
import { makeBoardRemote } from '@agoric/vats/tools/board-utils.js';

/** @import {BoardRemote} from '@agoric/vats/tools/board-utils.js' */
/** @import {VBankAssetDetail} from '@agoric/vats/tools/board-utils.js'; */
/**
* @import {Amount, Brand} from '@agoric/ertp'
* @import {AgoricNamesRemotes, BoardRemote, VBankAssetDetail} from '@agoric/vats/tools/board-utils.js';
*/

/**
* Like @endo/nat but coerces
Expand Down
5 changes: 5 additions & 0 deletions packages/smart-wallet/src/types.ts
Original file line number Diff line number Diff line change
Expand Up @@ -8,10 +8,15 @@
import type { agoric } from '@agoric/cosmic-proto/agoric/bundle.js';
import type { AgoricNamesRemotes } from '@agoric/vats/tools/board-utils.js';
import type { PublicTopic } from '@agoric/zoe/src/contractSupport/topics.js';
import type { Payment } from '@agoric/ertp';
import type { OfferSpec } from './offers.js';

declare const CapDataShape: unique symbol;

// Match the type in Zoe, which can't be imported because it's ambient.
// This omits the parameters that aren't used in this module.
type Invitation = Payment<'set'>;

/**
* A petname can either be a plain string or a path for which the first element
* is a petname for the origin, and the rest of the elements are a snapshot of
Expand Down

0 comments on commit 769de1f

Please sign in to comment.