Idris2Doc : Geom.Interpolate

Geom.Interpolate

(source)
Definitions
round : Nat -> Double -> Double
  Totality: total
  Visibility: export