module Bag renamed into Impset (since this is not a multiset)

parent 1130f7e8
......@@ -50,7 +50,7 @@ module BFS
use import int.Int
use import Graph
use module bag.Bag as B
use module impset.Impset as B
use import module ref.Refint
exception Found int
......
(* a bag is simply a reference containing a finite set *)
module Bag
(* An imperative set is simply a reference containing a finite set *)
module Impset
use export set.Fset
use export module ref.Ref
......@@ -36,3 +36,8 @@ module Bag
end
(*
Local Variables:
compile-command: "unset LANG; make -C .. modules/impset"
End:
*)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment