1 (** This module turns a function into a web application. *)
3 (** An input is characterized by a title and a function that
4 returns the input contents if called. *)
6 | Direct of string * (unit -> string)
9 (** An output is a title and some contents. *)
10 type output = (string * string)
12 (** Given a list of input choices and a function that turns these
13 inputs into output, [from_function] produces an interactive
15 type processor_function =
16 (int -> int -> unit) -> (** Step n over m. *)
20 val from_function : input list -> processor_function -> unit