Previous
Up
Module
Transitioning.Q
module
Q:
sig
..
end
Function
Q
.to_float
was introduced in Zarith 1.5
val
to_float
:
Q.t -> float