Mercurial > urweb

view demo/listFun.urs @ 1454:96353138f016

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix bug in projection of constructors from modules in class rules.
author Karn Kallio <kkallio@eka>
date Sun, 01 May 2011 00:26:08 -0430
parents ab3177746c78
children
line wrap: on
line source
functor Make(M : sig
                 type t
                 val toString : t -> string
                 val fromString : string -> option t
             end) : sig
    val main : unit -> transaction page
end