summaryrefslogtreecommitdiff
path: root/demo/listFun.urs
blob: 909bbcf617ff256e59cea882267622ad27d97c96 (plain)
1
2
3
4
5
6
7
functor Make(M : sig
                 type t
                 val toString : t -> string
                 val fromString : string -> option t
             end) : sig
    val main : unit -> transaction page
end