package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

md5=d3d16ffc960e832a1c0e21b7123194e9

sha512=36c8561079aa9fefc864c2f03bd8ae20aa05987bb67e7a9beac3ab4f440dbf7d44f141c172b05fddb1a5b618fc55a27962bb45fc39bd7b3a15d56e0ed3ff3870

include BoundedType

type base_t

The base/raw type

type t

The type that makes up the bounded range

val bounds : base_t bound_t * base_t bound_t

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

val bounded : (base_t, t) bounding_f

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

val base_of_t : t -> base_t option

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

val 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.

module Infix : BatNumber.Infix with type bat__infix_t := base_t