Up
–
imandra-base
»
Imandra_prelude
»
Float
» Round
Module
Float.Round
type
t