one more signature to be implemented later

enum.ml

@@ -424,6 +424,9 @@ let combinations n enum =
   assert (n >= 0);
   failwith "not implemented" (* TODO *)
 
+let powerSet enum =
+  failwith "not implemented"
+
 (** {2 Basic conversion functions} *)
 
 let to_list enum =

enum.mli

@@ -155,10 +155,14 @@ val product : 'a t -> 'b t -> ('a * 'b) t
   (** Cartesian product *)
 
 val permutations : 'a t -> 'a t t
-  (** Permutations of the enum *)
+  (** Permutations of the enum. Each permutation becomes unavailable once
+      the next one is produced. *)
 
 val combinations : int -> 'a t -> 'a t t
-  (** Combinations of given length *)
+  (** Combinations of given length. *)
+
+val powerSet : 'a t -> 'a t t
+  (** All subsets of the enum (in no particular order) *)
 
 (** {2 Basic conversion functions} *)