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 /MLRISC/trunk/graphs/closed-semi-ring.sig
ViewVC logotype

Annotation of /MLRISC/trunk/graphs/closed-semi-ring.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 412 - (view) (download) (as text)
Original Path: sml/trunk/src/MLRISC/graphs/closed-semi-ring.sig

1 : monnier 411 (*
2 :     * Signature of a closed semi ring. A closed semi ring has the
3 :     * closure operation (star)
4 :     *
5 :     * -- Allen
6 :     *)
7 :    
8 : monnier 245 signature CLOSED_SEMI_RING =
9 :     sig
10 :    
11 :     type elem
12 :    
13 :     val zero : elem
14 :     val one : elem
15 :     val + : elem * elem -> elem
16 :     val * : elem * elem -> elem
17 :     val star : elem -> elem
18 :    
19 :     end
20 :    

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