- the disambiguation of unified binders continues

[helm.git] / helm / software / helena / src / common / level.mli

diff --git a/helm/software/helena/src/common/level.mli b/helm/software/helena/src/common/level.mli
index 4bae584fa8843ead6401d1d4260b9e54a207ebad..fe12b367188695b8c10dec8882701af155462b2a 100644 (file)
--- a/helm/software/helena/src/common/level.mli
+++ b/helm/software/helena/src/common/level.mli
@@ -23,10 +23,14 @@ val one: level
 
 val two: level
 
-val unknown: status -> Marks.mark -> level
+val unknown: status -> level
 
-val is_zero: level -> bool
+val minus: status -> level -> int -> level
 
-val minus: level -> int -> level
+val to_string: status -> level -> string
 
-val to_string: level -> string
+val assert_not_zero: status -> level -> bool
+
+val assert_zero: status -> level -> bool
+
+val assert_equal: status -> level -> level -> bool