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

SCM Repository

[smlnj] Annotation of /papers/modulespaper/apply-fct/r.ml
ViewVC logotype

Annotation of /papers/modulespaper/apply-fct/r.ml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 3564 - (view) (download)

1 : dbm 3564 module R =
2 :     struct
3 :     module R1 = APPS(F1)
4 :     module R2 = APPS(F2)
5 :     val res = (R1.x = R2.x)
6 :     end
7 :    

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