functor Make (M : sig con fs :: {Unit} val fl : folder fs val names : $(mapU string fs) end) = struct fun handler values = return {foldURX2 [string] [string] [body] (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name value =>
  • {[name]} = {[value]}
    • ) [M.fs] M.fl M.names values}     fun main () = return
    {foldUR [string] [fn cols :: {Unit} => xml form [] (mapU string cols)] (fn [nm :: Name] [rest :: {Unit}] [[nm] ~ rest] name (acc : xml form [] (mapU string rest)) =>
  • {[name]}:
    • {useMore acc}     ) [M.fs] M.fl M.names}
    end