fix: remove Bindings type

Agoric · Jan 11, 2021 · a612620 · a612620
1 parent 5745944
commit a612620
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/packages/same-structure/src/types.js b/packages/same-structure/src/types.js
@@ -33,11 +33,3 @@
  * the Pattern is non-Ground, then it matches or not according to
  * the Pattern's embedded PatternRecords.
  */
-
-/**
- * @typedef {Record<string,Passable>} Bindings
- *
- * The result of a successful match is typically an empty object. But the
- * PatternRecords may extract corresponding portions of the specimen
- * it is matched against.
- */