Ocaml 非空集合/列表的数据结构

OCaml中是否存在支持非空数据结构的库？例如，非空列表或非空集合？

我个人从未找到过，而是创建了我的

结构

list1

不是很好，因为

tl

操作在我们的例子中没有很好地定义。最好删除它，并将

iter

和

fold

操作添加到接口中，实际上，

tail

应该被删除，或者是可选的，因为它不会保留非空列表不变。此外，

iter

和

fold

，以及

map

和界面中的所有其他内容，都包含在

容器中。S1

。