Module Transitioning.Q

module Q: sig .. end

Function Q.to_float was introduced in Zarith 1.5


val to_float : Q.t -> float