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/group.sig
ViewVC logotype

Annotation of /MLRISC/trunk/graphs/group.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2126 - (view) (download) (as text)

1 : monnier 409 (*
2 :     * Commutative groups.
3 :     *
4 :     * -- Allen
5 :     *)
6 :    
7 :     signature ABELIAN_GROUP =
8 :     sig
9 :     type elem
10 :     val + : elem * elem -> elem
11 :     val - : elem * elem -> elem
12 :     val ~ : elem -> elem
13 :     val zero : elem
14 :     val < : elem * elem -> bool
15 :     val == : elem * elem -> bool
16 :     end
17 :    
18 :     signature ABELIAN_GROUP_WITH_INF =
19 :     sig
20 :    
21 :     include ABELIAN_GROUP
22 :     val inf : elem
23 :    
24 :     end

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