diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ur/basis.urs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 3dba3e3d..4931c97a 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -976,6 +976,19 @@ val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit -> tag ([Colspan = int, Rowspan = int] ++ tableAttrs) ([Tr] ++ other) ([Body] ++ other) [] [] +(** Definition lists *) + +val dl : other ::: {Unit} -> [other ~ [Body,Dl]] + => unit + -> tag [] ([Body] ++ other) ([Dl] ++ other) [] [] + +val dt : other ::: {Unit} -> [other ~ [Body,Dl]] + => unit + -> tag [] ([Dl] ++ other) ([Body] ++ other) [] [] + +val dd : other ::: {Unit} -> [other ~ [Body,Dl]] + => unit + -> tag [] ([Dl] ++ other) ([Body] ++ other) [] [] (** Aborting *) |