package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

md5=66b6e0b25769fc2363972c6a6ab6ac33

sha256=584d314cbaa5485e26d08ce87f7d7ff49043d9096101f2641b59def9aa6d7d71

type discrete

val to_int : discrete -> int

val succ : discrete -> discrete

val pred : discrete -> discrete

val (--) : discrete -> discrete -> discrete BatEnum.t

val (---) : discrete -> discrete -> discrete BatEnum.t