From b577f3615e65146f1efaa37d18ff3abfbe215695 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 14 May 2009 15:55:16 +0000
Subject: 	* algebra/any.spad.pamphlet (RuntimeValue): New domain. 
 * algebra/Makefile.pamphlet ($(OUT)/RTVALUE.$(FASLEXT)): New rule.

---
 src/algebra/any.spad.pamphlet | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

(limited to 'src/algebra/any.spad.pamphlet')

diff --git a/src/algebra/any.spad.pamphlet b/src/algebra/any.spad.pamphlet
index 7305b809..2039f38c 100644
--- a/src/algebra/any.spad.pamphlet
+++ b/src/algebra/any.spad.pamphlet
@@ -38,6 +38,25 @@ None():SetCategory == add
 @
 
 
+\section{domain RTVALUE RuntimeValue}
+
+<<domain RTVALUE RuntimeValue>>=
+)abbrev domain RTVALUE RuntimeValue
+++ Author: Gabriel Dos Reis
+++ Date Created: May 14, 2009
+++ Date Last Changed: May 14, 2009
+++ Description:
+++   This is the datatype of OpenAxiom runtime values.  It exists
+++   solely for internal purposes.
+RuntimeValue(): Type with
+    eq: (%,%) -> Boolean
+      ++ \spad{eq(x,y)} holds if both values \spad{x} and \spad{y}
+      ++ resides at the same address in memory.
+  == add
+    eq(x,y) == EQ(x,y)$Foreign(Builtin)
+@
+
+
 \section{The Maybe domain}
 
 <<domain MAYBE Maybe>>=
@@ -556,6 +575,7 @@ Environment(): Public == Private where
 -- may be Any.
 
 <<domain NONE None>>
+<<domain RTVALUE RuntimeValue>>
 <<domain MAYBE Maybe>>
 <<package NONE1 NoneFunctions1>>
 <<domain ANY Any>>
-- 
cgit v1.2.3