package batteries

  1. Overview
  2. Docs
A community-maintained standard library extension

Install

dune-project
 Dependency

Authors

Maintainers

Sources

batteries-3.10.0.tar.gz
md5=b7f3b99f12f21b1da6b6aa13d993206d
sha512=8b7f2479eb0271bcfd9168887c1e4a9a815c512eab3ee61b150fc4dfa9ec803e4f73115155f20b3017e4a822148d0e6d1c1e8e5f96790fd691b419dd39a908a2

doc/batteries.unthreaded/BatBounded/module-type-BoundedType/index.html

Module type BatBounded.BoundedTypeSource

Sourcetype base_t

The base/raw type

Sourcetype t

The type that makes up the bounded range

bounds defines the (min, max) bounds for the bounded range

Sourceval bounded : (base_t, t) bounding_f

bounded ~bounds x returns a bounded t value derived from x.

Sourceval base_of_t : t -> base_t option

base_of_t x converts a value of type t back to a base_t if possible.

Sourceval base_of_t_exn : t -> base_t

base_of_t_exn x converts a value of type t back to a base_t. If a conversion is not possible then an exception will be raised.