diff lib/ur/basis.urs @ 1799:3d922a28370b

Basis.getenv
author Adam Chlipala <adam@chlipala.net>
date Thu, 02 Aug 2012 16:33:25 -0400
parents 2f8b8952fe27
children b8558b613abd
line wrap: on
line diff
--- a/lib/ur/basis.urs	Sun Jul 29 12:54:17 2012 -0400
+++ b/lib/ur/basis.urs	Thu Aug 02 16:33:25 2012 -0400
@@ -191,6 +191,11 @@
 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 *)