Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /papers/modulespaper/apply-fct/mosml/setfn.sml
ViewVC logotype

View of /papers/modulespaper/apply-fct/mosml/setfn.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (download) (annotate)
Thu Sep 30 13:33:05 2010 UTC (8 years, 9 months ago) by dbm
File size: 149 byte(s)
initial import
functor SetFn X:sig type t end =
struct
  type u = X.t list
  val v = []
  fun f x = ()
end :>
 sig
   type u
   val v : u
   val f : u -> unit
 end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0