Skip to content

Commit

Permalink
Avoid name clashes with Sum and Product.
Browse files Browse the repository at this point in the history 
Fixes Github issue #62
    #62

[Refactor]
  • Loading branch information
@lemmy
lemmy committed Apr 10, 2022
1 parent e88b553 commit c66dc93
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions modules/FiniteSetsExt.tla
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ SumSet(set) ==
(* Calculate the sum of the elements in set. *)
(* *)
(* Example: *)
(* Sum(0 .. 10) = 55 *)
(* SumSet(0 .. 10) = 55 *)
(*************************************************************************)
FoldSet(+, 0, set)

Expand All @@ -27,7 +27,7 @@ ProductSet(set) ==
(* Calculuate the product of the elements in set. *)
(* *)
(* Example: *)
(* Product(1 .. 3) = 6 *)
(* ProductSet(1 .. 3) = 6 *)
(*************************************************************************)
FoldSet(LAMBDA x, y: x * y, 1, set)

Expand Down

0 comments on commit c66dc93

Please sign in to comment.