1 files changed, 3 insertions, 1 deletions
diff --git a/ratio.h b/ratio.h
index 6c6469d..ff4015e 100644
--- a/ratio.h
+++ b/ratio.h
@@ -6,7 +6,9 @@ rational int_to_valuetype(int);
 
 unsigned int int_to_exptype(unsigned int);
 
-bool is_greater(rational,rational);
+bool is_greater_certainly(rational,rational);
+
+bool is_greater_possibly(rational,rational);
 
 rational maximum(rational,rational);