summaryrefslogtreecommitdiff
path: root/lib/ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-08-02 16:33:25 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-08-02 16:33:25 -0400
commitfdc6c1310be60fbeb597400618473861f78676de (patch)
tree201d14d77f7f944545809bff02ae45fc826bb7e7 /lib/ur
parent722b0c632007ac6ea178b05695974e447b4288a3 (diff)
Basis.getenv
Diffstat (limited to 'lib/ur')
-rw-r--r--lib/ur/basis.urs5
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 101f8e63..4777be81 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -191,6 +191,11 @@ val blessResponseHeader : string -> responseHeader
val checkResponseHeader : string -> option responseHeader
val setHeader : responseHeader -> string -> transaction unit
+type envVar
+val blessEnvVar : string -> envVar
+val checkEnvVar : string -> option envVar
+val getenv : envVar -> transaction (option string)
+
(** JavaScript-y gadgets *)