payment: note that Stripe has instituted an additional 1% fee for non-US cards

[hcoop/portal.git] / util.sig

diff --git a/util.sig b/util.sig
index d6f9d5c..f8c38d4 100644 (file)
--- a/util.sig
+++ b/util.sig
@@ -18,6 +18,9 @@ sig
     val sub : real * real -> real
     val mult : int * real -> real
 
+    val lt : real * real -> bool
+    val ge : real * real -> bool
+
     val validHost : string -> bool
     val validDomain : string -> bool
     val validEmail : string -> bool