% @(#)$Id: CoerceToReal.lsl,v 1.3 1997/06/05 03:10:47 leavens Exp $
CoerceToReal(T): trait
  includes Real
  introduces
    toReal: T -> R
    fromReal: R -> T
    approximates: T, R -> Bool
  asserts
    \forall t: T, r: R
      fromReal(toReal(t)) == t;
      approximates(fromReal(r), r);
      approximates(t, toReal(t));
      

[Index]

HTML generated using lcpp2html.