@leanprover/infoview
    Preparing search index...

    Function isRpcError

    • Parameters

      • x: unknown

      Returns x is RpcError

    Settings
    Member Visibility