diff --git a/web/CXM_json.anubis b/web/CXM_json.anubis
index 06d4a07..0f736c0 100644
--- a/web/CXM_json.anubis
+++ b/web/CXM_json.anubis
@@ -110,6 +110,14 @@ public define JsonMember
   ) =
   json_member(name, json_null).
 
+public define JsonValue
+  to_json_array
+  (
+    List(String)  list_str
+  )=
+  json_array(map((String str) |-> json_string(str), list_str))
+.
+
 //-------------------------------------------
 // Outputing Json to Printable_tree
 
--
libgit2 0.21.4