Various utility functions.
val pp_list :
sep:(unit, Format.formatter, unit) format ->
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a list ->
unitval pp_array :
sep:(unit, Format.formatter, unit) format ->
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a array ->
unitval pp_matrix :
begl:(unit, Format.formatter, unit) format ->
endl:(unit, Format.formatter, unit) format ->
sepl:(unit, Format.formatter, unit) format ->
sepc:(unit, Format.formatter, unit) format ->
(Format.formatter -> 'a -> unit) ->
Format.formatter ->
'a array array ->
unitval itv_float_of_q : Q.t -> float * floatitv_float_of_q q returns two floats l, u such that, when q is Q.undef, l and u are both nan, otherwise l <= q <= u and there is no float (either normal or subnormal) such that l < f < u.
val float_of_q : Q.t -> floatfloat_of_q q returns a float closest to q.
profile f executes the function f and returns both its result and the execution time in second.