Skip to content

Instantly share code, notes, and snippets.

@tyabu12

tyabu12/round_add.ml

Created April 19, 2017 02:12
Show Gist options
  • Save tyabu12/8e8917bf5b172adf455c21e1552e2f66 to your computer and use it in GitHub Desktop.
Save tyabu12/8e8917bf5b172adf455c21e1552e2f66 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
round_add.ml
type round_mode =
| NearestTiesToEven
| ToZero
| Up
| Down
(* | NearestTiesToAway *)
external add: round_mode -> float -> float -> float = "addc"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment