@leanprover/infoview
Preparing search index...
index
mapRpcError
Function mapRpcError
mapRpcError
(
err
:
unknown
)
:
Error
Sends an exception object to a throwable error. Maps JSON Rpc errors to throwable errors.
Parameters
err
:
unknown
Returns
Error
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
@leanprover/infoview
Loading...
Sends an exception object to a throwable error. Maps JSON Rpc errors to throwable errors.