adamc@386: functor Make(M : sig
adamc@386:                  type t
adamc@398:                  val toString : t -> string
adamc@398:                  val fromString : string -> option t
adamc@386:              end) : sig
adamc@386:     val main : unit -> transaction page
adamc@386: end