aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/stateid.mli
diff options
context:
space:
mode:
Diffstat (limited to 'lib/stateid.mli')
-rw-r--r--lib/stateid.mli2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/stateid.mli b/lib/stateid.mli
index 27b083efd..11fac7a92 100644
--- a/lib/stateid.mli
+++ b/lib/stateid.mli
@@ -13,6 +13,8 @@ type t
val equal : t -> t -> bool
val compare : t -> t -> int
+module Set : Set.S with type elt = t
+
val initial : t
val dummy : t
val fresh : unit -> t