--- a/lib/ur/basis.urs	Sat Jul 23 16:27:04 2011 -0400
+++ b/lib/ur/basis.urs	Sun Jul 24 10:51:48 2011 -0400
@@ -797,6 +797,12 @@
                    -> tag ([Value = string, Action = $use -> transaction page] ++ boxAttrs)
                           ([Form] ++ ctx) ([Form] ++ ctx) use []
 
+val image : ctx ::: {Unit} -> use ::: {Type}
+             -> [[Form] ~ ctx] =>
+                   unit
+                   -> tag ([Src = url, Width = int, Height = int, Alt = string, Action = $use -> transaction page] ++ boxAttrs)
+                          ([Form] ++ ctx) ([Form] ++ ctx) use []
+
 val label : bodyTag ([For = string, Accesskey = string] ++ tableAttrs)