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>