Library iris.prelude.prelude

From Coq.ssr Require Export ssreflect.
From stdpp Require Export prelude.
From iris.prelude Require Import options.
Global Open Scope general_if_scope.
Global Set SsrOldRewriteGoalsOrder. Ltac done := stdpp.tactics.done.

Iris itself and many dependencies still rely on this coercion.
Coercion Z.of_nat : nat >-> Z.

Global Hint Mode Equiv ! : typeclass_instances.