adamc@1025: con t ctx = source bool * xml ctx [] []
adamc@1025: 
adamc@1025: fun create [ctx] (x : xml ctx [] []) =
adamc@1025:     s <- source False;
adamc@1025:     return (s, x)
adamc@1025: 
adamc@1025: fun expand [ctx] (t : t ctx) =
adamc@1025:     set t.1 True
adamc@1025: 
adamc@1025: fun collapse [ctx] (t : t ctx) =
adamc@1025:     set t.1 False
adamc@1025: 
adamc@1025: fun render [ctx] [[Body] ~ ctx] (t : t ([Body] ++ ctx)) =
adamc@1025:     <xml><dyn signal={b <- signal t.1;
adamc@1025:                       return (if b then
adamc@1025:                                   <xml>
adamc@1025:                                     <button value="-" onclick={collapse t}/><br/>
adamc@1025:                                     {t.2}
adamc@1025:                                   </xml>
adamc@1025:                               else
adamc@1025:                                   <xml>
adamc@1025:                                     <button value="+" onclick={expand t}/><br/>
adamc@1025:                                   </xml>)}/></xml>