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 /sml/trunk/benchmarks/programs/logic/term.sml
ViewVC logotype

View of /sml/trunk/benchmarks/programs/logic/term.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 193 - (download) (annotate)
Fri Nov 20 17:43:59 1998 UTC (21 years, 7 months ago) by monnier
File size: 192 byte(s)
Initial revision
(* term.sml *)

structure Term = 
struct
  datatype term
    = STR of string * term list
    | INT of int
    | CON of string
    | REF of term option ref
	
  exception BadArg of string
end;


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