SCM Repository
[smlnj] / sml / trunk / src / eXene / demos / tactic-tree / examples / derivative / syntax.sml |
View of /sml/trunk/src/eXene/demos/tactic-tree/examples/derivative/syntax.sml
Parent Directory | Revision Log
Revision 651 -
(download)
(annotate)
Thu Jun 1 18:34:03 2000 UTC (19 years, 3 months ago) by monnier
File size: 913 byte(s)
Thu Jun 1 18:34:03 2000 UTC (19 years, 3 months ago) by monnier
File size: 913 byte(s)
bring revisions from the vendor branch to the trunk
signature EXPRESSION = sig datatype term = Var of string | Num of int datatype expression = Plus of expression * expression | Minus of expression * expression | Times of expression * expression | Divide of expression * expression | Exp of expression * expression | Neg of expression | E of expression | Sin of expression | Cos of expression | Term of term | Error end structure Expression : EXPRESSION = struct datatype term = Var of string | Num of int datatype expression = Plus of expression * expression | Minus of expression * expression | Times of expression * expression | Divide of expression * expression | Exp of expression * expression | Neg of expression | E of expression | Sin of expression | Cos of expression | Term of term | Error end
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |