package grenier

  1. Overview
  2. Docs
A collection of various algorithms in OCaml

Install

dune-project
 Dependency

Authors

Maintainers

Sources

grenier-0.17.tbz
sha256=adce547fae9b5648d902d91173bb787466a197f81610b76757424ab33980e625
sha512=dccce42254660831fbd45129718ce01d2a4fcf10d05fa40f10eb3be4e5c94300af7235cc88c76b2e5aff7a02b8a1e8e6150d2d3376d8b630911d1dc6247b7df6

doc/grenier.strong/Strong/Finite/Set/index.html

Module Finite.SetSource

Sourcemodule type T = Natural.T
Sourceval cardinal : 'n set -> int
Sourceval iter : 'n set -> ('n elt -> unit) -> unit
Sourceval rev_iter : 'n set -> ('n elt -> unit) -> unit
Sourceval fold_left : 'n set -> ('b -> 'n elt -> 'b) -> 'b -> 'b
Sourceval fold_right : 'n set -> ('n elt -> 'b -> 'b) -> 'b -> 'b
Sourcemodule Gensym () : sig ... end