A more or less useful collection of basic types
List of Import References :
See ABORT
See BOOL
See Bool
See BoolConv
See Char
See CharConv
See DENOTATION
See Denotation
See Int
See IntConv
See Nat
See NatConv
See Real
See RealConv
SIGNATURE Basics
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
IMPORT
ABORT COMPLETELY
Bool COMPLETELY
BoolConv COMPLETELY
Char COMPLETELY
CharConv COMPLETELY
Denotation ONLY ! : denotation ** nat -> char
# % +%+ ++ +/+ := < <= = > >= delete
empty empty? init insert slice
uncheckedSel uncheckedUpd upd |=
exclude identity ! : denotation -> denotation
Int ONLY ! % * + - / < <= = > >= abs div double even?
half int max min mod neg? odd? pos? pred sign succ zero? |=
exclude numbers
IntConv COMPLETELY
Nat COMPLETELY
NatConv COMPLETELY
Real ONLY ! * + - / < <= = > >= abs arccos arcsin
arctan arctan2 ceil cos cosh e eps exp floor
ln log max min neg? pi pos? pow real sign sin sinh
sqrt tan tanh zero? |=
exclude numbers
RealConv COMPLETELY
construct a decimal number
FUN . : nat ** nat -> real
next node: RelCmpConv,
prev node: Void,
up to node: Subsystem BasicTypes