docs: show where makeFollower() comes from

where does makeDefaultLeader come from?
Agoric · Apr 11, 2023 · 50c8e26 · 50c8e26
1 parent eb071fe
commit 50c8e26
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/packages/inter-protocol/README.md b/packages/inter-protocol/README.md
@@ -30,6 +30,8 @@ To maintain that the keys of vaults to liquidate are stable requires that its ke
 
 VaultFactory publishes data using StoredPublishKit which tees writes to off-chain storage. These can then be followed off-chain like so,
 ```js
+import { makeFollower } from '@agoric/casting';
+
   const key = `published.vaultFactory.metrics`; // or whatever the stream of interest is
   const leader = makeDefaultLeader();
   const follower = makeFollower(storeKey, leader);