summaryrefslogtreecommitdiff
path: root/lib/ur/basis.urs
diff options
context:
space:
mode:
Diffstat (limited to 'lib/ur/basis.urs')
-rw-r--r--lib/ur/basis.urs4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index f2f378ee..9eeb4891 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -405,6 +405,9 @@ val nextval : sql_sequence -> transaction int
(** XML *)
+con css_class :: {Unit} -> Type
+(* The argument lists categories of properties that this class could set usefully. *)
+
con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type
@@ -440,6 +443,7 @@ con xbody = xml [Body] [] []
con xtr = xml [Body, Tr] [] []
con xform = xml [Body, Form] [] []
+
(*** HTML details *)
con html = [Html]