mend

feat: implement links notation and added imports

Author: 0xMushow

CoqOfRust/links/M.v

@@ -345,7 +345,7 @@ Definition output_with_exception (Output : Set) `{Link Output} (output : Output
   match output with
   | inl output => inl (φ output)
   | inr exception => inr exception
-  end.u
+  end.
 
 Module Run.
   Reserved Notation "{{ e ⇓ output_to_value }}" (no associativity).