the partial commit 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 70a49d5e8a6814ad481796accc82bb465d36a8ec..9b4955248726eaffd5689491ee31e6af2af79227 100644 (file)
--- a/helm/software/helena/src/common/level.mli
+++ b/helm/software/helena/src/common/level.mli
@@ -23,4 +23,6 @@ val succ: level -> level
 
 val pred: level -> level
 
+val minus: level -> int -> level
+
 val to_string: level -> string