package grenier

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

Install

Dune Dependency

Authors

Maintainers

Sources

grenier-v0.11.tbz
sha256=658e1ad6fc5fdce0871975b3ebcb3ec760248be63cdb9ea965e3121cc7478d77
sha512=d9ff83f1b025f34c22af5921444993df219761dcee8d8cb5a940f266df8677278967434b22314c5c82d5d983e4c94c04cd52c4717d5c1f22fbd3a022631fae1c

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

Module Strong.FiniteSource

Sourcetype 'a set = 'a Natural.t
Sourcemodule type Set = Natural.T
Sourceval cardinal : 'a set -> int
Sourcetype 'a elt = private int
Sourceval elt_of_int : 'a set -> int -> 'a elt
Sourceval elt_to_int : 'a elt -> int
Sourceval iter_set : 'a set -> ('a elt -> unit) -> unit
Sourceval rev_iter_set : 'a set -> ('a elt -> unit) -> unit
Sourceval all_elements : 'a set -> 'a elt array
Sourcemodule type Map = sig ... end
Sourcetype 'a map = (module Map with type codomain = 'a)
Sourcemodule Map_of_array (A : sig ... end) : Map with type codomain = A.codomain
Sourceval iter_map : 'a map -> ('a -> unit) -> unit
OCaml

Innovation. Community. Security.