* some dummy types for basetypes to avoid warnings. Probably their

lemma's should refer to the reference guide.

git-svn-id: trunk@24285 -
This commit is contained in:
marco 2013-04-21 13:55:29 +00:00
parent 967319eb69
commit 4f10db2686

View File

@ -14,6 +14,13 @@
**********************************************************************}
Type
Byte = 0..255;
Longint = -2147483648..2147483647;
Shortint= -128 .. 127;
Smallint= -32768 .. 32767;
Word = 0 .. 65535;
WideChar= #0..#65535;
Function Addr (X : TAnytype) : Pointer;
Procedure Assert(Expr : Boolean);
Procedure Assert(Expr : Boolean; const Msg : string);