GIVE A PRECONDITION AND A POSTCONDITION FOR THE PREDEFINED FUNCTIO...

19. Give a precondition and a postcondition for the predefined function sqrt, which returns the square root of its argument.

Scope Rules