]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/common/layer.mli
last commit for helena 0.8.2
[helm.git] / helm / software / helena / src / common / layer.mli
index 7ff8609bde734fc4f76f208a84a77ca952715285..40ada03a1f1aca384ffc1c7f02c694f781af9205 100644 (file)
@@ -39,3 +39,4 @@ val assert_equal: status -> layer -> layer -> bool
 
 val is_not_zero: status -> layer -> bool
 
+val are_equal: status -> layer -> layer -> bool