val refresh_status: status -> status
-val infinite: layer
+val infinity: layer
val finite: int -> layer
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