adamc@1025: con t :: {Unit} -> Type
adamc@1025: 
adamc@1025: val create : ctx ::: {Unit} -> xml ctx [] [] -> transaction (t ctx)
adamc@1025: val render : ctx ::: {Unit} -> [[Body] ~ ctx] => t ([Body] ++ ctx) -> xml ([Body] ++ ctx) [] []
adamc@1025: val expand : ctx ::: {Unit} -> t ctx -> transaction unit
adamc@1025: val collapse : ctx ::: {Unit} -> t ctx -> transaction unit