- revision of ground_2 and basic_2

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

diff --git a/helm/software/helena/src/common/layer.mli b/helm/software/helena/src/common/layer.mli
index 9d8b34e724c3c2c0709fabfa7aec4c41140cdf18..40ada03a1f1aca384ffc1c7f02c694f781af9205 100644 (file)
--- a/helm/software/helena/src/common/layer.mli
+++ b/helm/software/helena/src/common/layer.mli
@@ -36,3 +36,7 @@ val assert_not_zero: status -> layer -> bool
 val assert_zero: status -> layer -> bool
 
 val assert_equal: status -> layer -> layer -> bool
+
+val is_not_zero: status -> layer -> bool
+
+val are_equal: status -> layer -> layer -> bool