X-Git-Url: http://git.hcoop.net/hcoop/portal.git/blobdiff_plain/9953bee7978169008d661880ebe93ffa14028401..daaa0de7fc21561fd324cbc93fc99d69646b537f:/util.sig diff --git a/util.sig b/util.sig index 1f46916..f8c38d4 100644 --- a/util.sig +++ b/util.sig @@ -15,8 +15,12 @@ sig val makeSet : ('a -> string) -> 'a list -> string val neg : real -> real val add : real * real -> real + 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 @@ -32,4 +36,6 @@ sig val allLower : string -> string val normEmail : string -> string + + val diffFromNow : Time.time -> string end