From df4fd53c96afa1d0b6aa1946c413681cd2109945 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Autin?=
 <francois.autin@etudiant.univ-rennes1.fr>
Date: Wed, 5 Apr 2023 16:17:35 +0200
Subject: [PATCH] Added documentation for trait

---
 src/utility/objaddr.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/utility/objaddr.rs b/src/utility/objaddr.rs
index c402f5d..f1896ef 100644
--- a/src/utility/objaddr.rs
+++ b/src/utility/objaddr.rs
@@ -4,6 +4,11 @@
 
 use std::collections::HashMap;
 
+/// This trait allows ObjAddr to hold references to Multiple kinds of structs
+/// 
+///  - Lock
+///  - Condition
+///  - Sémaphore
 pub trait SynchObj { }
 
 /// Brief Definition of object identifiers: