From d52fbe487bb29a4a60dcca1d36e9dadc64917517 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 16 Apr 2009 12:43:55 -0400
Subject: Show XML

---
 lib/ur/basis.urs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'lib/ur/basis.urs')

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 2633d48e..173324f0 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -554,3 +554,5 @@ val error : t ::: Type -> xbody -> t
 
 val onError : (xbody -> transaction unit) -> transaction unit
 (* Client-side only *)
+
+val show_xml : ctx ::: {Unit} -> use ::: {Type} -> bind ::: {Type} -> show (xml ctx use bind)
-- 
cgit v1.2.3