package batteries
A community-maintained standard library extension
Install
Dune Dependency
Authors
Maintainers
Sources
v3.3.0.tar.gz
sha256=40d18485911e343500a5636bbf1d84e2ee32f924fe87e5fd13a37641a4d8f226
md5=fe4da12b678a82faaeda4e58492ea871
doc/batteries.unthreaded/BatInt/Safe_int/Compare/index.html
Module Safe_int.Compare
type bat__compare_t = tval (<>) : bat__compare_t -> bat__compare_t -> boolval (>=) : bat__compare_t -> bat__compare_t -> boolval (<=) : bat__compare_t -> bat__compare_t -> boolval (>) : bat__compare_t -> bat__compare_t -> boolval (<) : bat__compare_t -> bat__compare_t -> boolval (=) : bat__compare_t -> bat__compare_t -> bool