package forester

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

Install

Dune Dependency

Authors

Maintainers

Sources

5.0.tar.gz
md5=24f4aed96a8b8af33aba13fba66f1b37
sha512=d36b896aca11858bb4a00fc704c16cc27a1f197bdb3e479d6132fd70f70d67d7158096285cb0b6fb00db14417f0f822cc27fe65d82f0971e42378fd8271ce573

doc/forester.prelude/Forester_prelude/index.html

Module Forester_preludeSource

Various utility functions.

Sourceval (let@) : ('a -> 'b) -> 'a -> 'b
Sourceval (@~) : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c
include module type of struct include Bwd end
Sourcetype 'a bwd = 'a Bwd.bwd =
  1. | Emp
  2. | Snoc of 'a bwd * 'a
Sourcemodule Bwd = Bwd.Bwd

This module is similar to List but for backward lists.

Sourcemodule BwdLabels = Bwd.BwdLabels

This module is similar to ListLabels but for backward lists.

Sourcemodule String_util : sig ... end
Sourcemodule Option_util : sig ... end
Sourcemodule List_util : sig ... end
Sourcemodule BaseN : sig ... end
Sourcemodule Compare : sig ... end
OCaml

Innovation. Community. Security.