diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-08-04 11:27:32 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-08-11 11:39:53 +0200 |
| commit | fe03eb042ce6afd531356aafa8023f7806594baf (patch) | |
| tree | 97317a67a51031bc5cfc738879a9c40196fd2d2f | |
| parent | 34f37a73a02c72d88b961b3044e967f4e4f31db8 (diff) | |
feat(session): new type state
| -rw-r--r-- | lib/session.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/session.ml b/lib/session.ml index e69de29..c640080 100644 --- a/lib/session.ml +++ b/lib/session.ml @@ -0,0 +1,2 @@ +type state = + | Disconnected |