Skip to content
Snippets Groups Projects
Commit ed4446e2 authored by Julien Signoles's avatar Julien Signoles
Browse files

lint

parent a20bcac6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/values/numerors/numerors_float.ml
+ 2
− 2
View file @ ed4446e2
...@@ -75,8 +75,8 @@ let change_prec ?(rnd = Mpfr.Near) prec (p, x) = ...@@ -75,8 +75,8 @@ let change_prec ?(rnd = Mpfr.Near) prec (p, x) =
calling the unary function f on an input of type t *) calling the unary function f on an input of type t *)
let unary_mpfrf f = let unary_mpfrf f =
fun ?(rnd = Rounding.Near) ?(prec = P.Real) x -> fun ?(rnd = Rounding.Near) ?(prec = P.Real) x ->
prec >>- fun () -> prec >>- fun () ->
f (change_prec prec x) (rounding rnd) f (change_prec prec x) (rounding rnd)
(* Returns a function which apply the rounding of its optionnal parameter rnd (* Returns a function which apply the rounding of its optionnal parameter rnd
and change the precision according to its optionnal parameter prec before and change the precision according to its optionnal parameter prec before
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment