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