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 /tests/trunk/bugs/tests.post-110.63/bug268/term.sml
ViewVC logotype

View of /tests/trunk/bugs/tests.post-110.63/bug268/term.sml

Parent Directory Parent Directory | Revision Log Revision Log

Revision 2463 - (download) (annotate)
Sat Apr 28 21:19:47 2007 UTC (12 years ago) by gkuan
File size: 208 byte(s)
missing bug tests subdirectories
(*--------------FILE:  term.sml-------------------------*)

import "term.sig";

functor termFC ():termsig =


datatype term =
    Const of string
  | Var of string
  | Func of string * term list


ViewVC Help
Powered by ViewVC 1.0.0