Crud listing IDs

1 files changed, 8 insertions, 0 deletions

diff --git a/lib/basis.urs b/lib/basis.urs
index a095a57e..8737cbde 100644
--- a/lib/basis.urs
+++ b/lib/basis.urs
@@ -250,6 +250,7 @@ val useMore : ctx ::: {Unit} -> use1 ::: {Type} -> use2 ::: {Type} -> bind ::: {
 
 con xhtml = xml [Html]
 con page = xhtml [] []
+con xbody = xml [Body] [] []
 
 (*** HTML details *)
 
@@ -304,6 +305,13 @@ val submit : ctx ::: {Unit} -> [LForm] ~ ctx
         -> use ::: {Type} -> unit
         -> tag [Action = $use -> transaction page] ([LForm] ++ ctx) ([LForm] ++ ctx) use []
 
+(*** Tables *)
+
+val tabl : unit -> tag [Border = int] [Body] [Body, Table] [] []
+val tr : unit -> tag [] [Body, Table] [Body, Tr] [] []
+val th : unit -> tag [] [Body, Tr] [Body] [] []
+val td : unit -> tag [] [Body, Tr] [Body] [] []
+
 
 (** Aborting *)