(* Copyright (C) 1991, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* Last modified on Wed Nov 20 10:43:55 PST 1991 by muller         *)
(*      modified on Wed Sep 25 00:48:59 1991 by kalsow         *)


MODULE RealFloat;

PROCEDURE Scalb(<*UNUSED*> x: T; <*UNUSED*> n: INTEGER): T =
  BEGIN
    <*ASSERT FALSE*>
  END Scalb;

PROCEDURE Logb(<*UNUSED*> x: T): T =
  BEGIN
    <*ASSERT FALSE*>
  END Logb;

PROCEDURE ILogb(<*UNUSED*> x: T): INTEGER =
  BEGIN
    <*ASSERT FALSE*>
  END ILogb;

PROCEDURE NextAfter(<*UNUSED*> x, y: T): T =
  BEGIN
    <* ASSERT FALSE *>
  END NextAfter;

PROCEDURE CopySign(<*UNUSED*> x, y: T): T =
  BEGIN
    <*ASSERT FALSE*>
  END CopySign;

PROCEDURE Finite(<*UNUSED*> x: T): BOOLEAN =
  BEGIN
    <*ASSERT FALSE*>
  END Finite;

PROCEDURE IsNaN(<*UNUSED*> x: T): BOOLEAN =
  BEGIN
    <*ASSERT FALSE*>
  END IsNaN;

PROCEDURE Sign(<*UNUSED*> x: T): [0..1] =
  BEGIN
    <*ASSERT FALSE*>
  END Sign;

PROCEDURE Differs(<*UNUSED*> x, y: T): BOOLEAN =
  BEGIN
    <*ASSERT FALSE*>
  END Differs;

PROCEDURE Unordered(<*UNUSED*> x, y: T): BOOLEAN =
  BEGIN
    <*ASSERT FALSE*>
  END Unordered;

PROCEDURE Sqrt(<*UNUSED*> x: T): T =
  BEGIN
    <*ASSERT FALSE*>
  END Sqrt;
  
PROCEDURE Class(<*UNUSED*> x: T): IEEEClass =
  BEGIN
    <*ASSERT FALSE*>
  END Class;

BEGIN       
END RealFloat.