functor Make(M : sig
type t
val read_t : read t
val show_t : show t
val num_t : num t
end) = struct
fun calculate (n1, n2) = return
{[readError n1 / readError n2 : M.t]}
{[readError n1 % readError n2 : M.t]}
fun main () =
s1 <- source "";
s2 <- source "";
s3 <- source "";
s4 <- source "";
return
Client-side
/ ,
Server-side
end
structure Int = Make(struct type t = int end)
structure Float = Make(struct type t = float end)
fun main () : transaction page = return