provide an import for members of the assert global

[turadg]

What is the Problem Being Solved?

When coding in an IDE, it's common to begin typing a function and rely on the IDE to autocomplete it. Most IDEs are smart enough to even import the function if it's not in scope. But they don't know to create a local binding by destructuring a property of a certain object that is in global scope, such as functions on the assert global.

E.g. if I type Fail in my IDE and ask it to resolve that, it doesn't know how to find it unless there's a module export.

We have such a module in agoric-sdk but it belongs in Endo. Agoric/agoric-sdk#5672 . Having them separated creates extra maintenance burden such as Agoric/agoric-sdk#8005 )

Description of the Design

Publish a module that re-exports the assert global (type Assert) so that it can be auto-imported in IDEs.