(** This module turns a function into a web application. *)

(** An input is characterized by a title and a function that
    returns the input contents if called. *)
type input = 
  | Direct of string * (unit -> string)
  | Url of string

(** An output is a title and some contents. *)
type output = (string * string)

(** Given a list of input choices and a function that turns these
    inputs into output, [from_function] produces an interactive
    web application. *)
type processor_function =
    (int -> int -> unit) ->      (** Step n over m. *)
    (string * string) -> 
    output list

val from_function : input list -> processor_function -> unit