(* Copyright (C) 1989, Digital Equipment Corporation *) (* All rights reserved. *) (* See the file COPYRIGHT for a full description. *) (* Last modified on Thu Nov 2 18:28:22 1989 by muller *) MODULE Math; PROCEDURE sqrt (x: LONGREAL): LONGREAL = BEGIN <* ASSERT FALSE *> END sqrt; BEGIN END Math.