package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

dune-project

Dependency

sha256=9cb4bd3bf3872509af43a9c61f741884503551f25b22cb9e2c73c55cee6c9861

md5=b1f1bf0d221f4d8de41e05a05417f56c

type t

val ord : t ord