adamc@56: type int
adamc@56: type float
adamc@56: type string
adamc@91: 
adamc@91: 
adamc@104: con tag :: {Type} -> {Unit} -> {Unit} -> Type
adamc@91: 
adamc@91: 
adamc@91: con xml :: {Unit} -> Type
adamc@91: val cdata : ctx ::: {Unit} -> string -> xml ctx
adamc@104: val tag : attrsGiven ::: {Type} -> attrsAbsent ::: {Type} -> attrsGiven ~ attrsAbsent
adamc@104:         -> outer ::: {Unit} -> inner ::: {Unit}
adamc@104:         -> $attrsGiven
adamc@104:         -> tag (attrsGiven ++ attrsAbsent) outer inner
adamc@91:         -> xml inner
adamc@91:         -> xml outer
adamc@91: val join : shared :: {Unit}
adamc@91:         -> ctx1 ::: {Unit} -> ctx1 ~ shared
adamc@91:         -> ctx2 ::: {Unit} -> ctx2 ~ shared
adamc@91:         -> xml (shared ++ ctx1) -> xml (shared ++ ctx2) -> xml shared
adamc@91: 
adamc@91: 
adamc@104: val head : tag [] [Html] [Head]
adamc@104: val title : tag [] [Head] []
adamc@93: 
adamc@104: val body : tag [] [Html] [Body]
adamc@104: val p : tag [] [Body] [Body]
adamc@104: val b : tag [] [Body] [Body]
adamc@104: val i : tag [] [Body] [Body]
adamc@104: val font : tag [Size = int, Face = string] [Body] [Body]