X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenexpr.mli;h=7d1c2de085373806448a4bd4c2224460befa2f8f;hp=12ba5841f637f28bb19fe29e09b0baae5b429ae3;hb=21a3155f8296175180e348f10a6a9af88e1ac87d;hpb=5c7aa66dbdb32b4fc11d0f72a4cc028c7bfb1b55

diff --git a/lib/whenexpr.mli b/lib/whenexpr.mli
index 12ba584..7d1c2de 100644
--- a/lib/whenexpr.mli
+++ b/lib/whenexpr.mli
@@ -161,3 +161,7 @@ val next_periodexpr : float -> periodexpr -> float
     midnight UTC on the 1st day of the year when
     [(y - 1970) mod i == 0].  This returns midnight on the
     1st day of the next year > t. *)
+
+val check_valid_variable_name : string -> unit
+(** Check that [name] is a valid variable name that users are permitted
+    to set, and raise [Failure] if it is not.  *)