(A : Type) := A. Notation "A ^" := ( A). #[global] Typeclasses Opaque . Global Instance isgraph_op {A : Type} `{IsGraph A} : IsGraph A^. Proof. apply Build_IsGraph. unfold ; exact (fun a b => b $-> a). Defined.
Require Import Basics.Overture Basics.Tactics. Require Import WildCat.Core.