package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install

Dune Dependency

Authors

Maintainers

Sources

3.1.0.tar.gz
md5=3512b493a31b0d1073ba4e48e8058493
sha512=b6e5ad2f86132d1874cb943546375e2f1b987a0c65628d71f17827f1ff7435df476c86fb135b34b3ff302f99ea54a21b90730257e12aa41cce170fae57c422b0

doc/forester.core/Core/Sem/Util/index.html

Module Sem.UtilSource

Sourceval peek_title : tree -> string option
Sourceval peek_addr : tree -> string option
Sourceval tags : tree -> string list
Sourceval taxon : tree -> string option
Sourceval authors : tree -> string list
Sourceval basic_comparator : tree -> tree -> int
Sourceval sort : tree list -> tree list
Sourceval sort_for_index : tree list -> tree list
OCaml

Innovation. Community. Security.