1 files changed, 2 insertions, 0 deletions
diff --git a/jslib/urweb.js b/jslib/urweb.js
index 904e27e8..46c24bff 100644
--- a/jslib/urweb.js
+++ b/jslib/urweb.js
@@ -42,4 +42,6 @@ function dyn(s) {
 }
 
 function ts(x) { return x.toString() }
+function bs(b) { return (b ? "True" : "False") }
+
 function pf() { alert("Pattern match failure") }