\ / This software is distributed as is, NO WARRANTY.
V_______________________________________________________________ *)
+type status
+
type level
+val initial_status: unit -> status
+
val infinite: level
val finite: int -> level
-val is_zero: level -> bool
+val one: level
-val is_infinite: level -> bool
+val two: level
-val succ: level -> level
+val unknown: status -> Marks.mark -> level
-val pred: level -> level
+val is_zero: level -> bool
val minus: level -> int -> level