1 2 3 4 5 6 7 8 9 10 11 12 13 14 | with Ada.Numerics.Elementary_Functions; package body Contracts is function Sqrt (X : Float) return Float is begin if X < 0.0 then return -1.0; else return Ada.Numerics.Elementary_Functions.Sqrt (X); end if; end Sqrt; end Contracts; |