Learn
Packages
Community
Blog
Playground
Get Started
Learn
Packages
Community
Blog
Playground
Get started
crlibm
Binding to CRlibm, a correctly rounded math lib
Version
0.5.1
0.5
0.4
0.3
0.2
0.1
Overview
Documentation
IN THIS PACKAGE
library
crlibm
module
Crlibm
module
RoundDown
module
RoundToZero
module
RoundUp
module type
S
Libraries
This package provides the following libraries (via dune):
crlibm
Documentation:
Crlibm
ON THIS PAGE
Libraries
crlibm
