open Ui fun main () = length <- LengthUi.create; unit <- select Length.allUnits; return <xml><body> {render length} = <dyn signal={l <- value length; case l of None => return <xml/> | Some l => u <- value unit; return <xml>{[Length.convert l u]}</xml>}/> {render unit} </body></xml>