小编Noa*_*ton的帖子

我想编写一个函数,给定一个非负整数n,返回{1,...,n}的幂集.所以我想使用这里找到的Set.S模块.但我似乎无法导入它.当我运行以下代码时:

open Set.S

let rec power_set n =
  if n = 0 then add empty empty else union (iter (add n s) power_set (n-1)) (power_set (n-1));;

let print_set s = SS.iter print_endline s;;

print_set (power_set 2)

我收到错误:

File "countTopologies.ml", line 1, characters 5-10:
Error: Unbound module Set.S

也许我只是没有在我的电脑上安装Set.S模块？(我只完成了安装OCaml所需的裸骨).如果是这种情况,我该怎么做？