====== Primitive Types ======


===== ANYTYPE =====

==== primitive operators ====

<code>
  <  : ANYTYPE;ANYTYPE ->  Boolean .
  <>  : ANYTYPE;ANYTYPE ->  Boolean .
  =  : ANYTYPE;ANYTYPE ->  Boolean .
  >  : ANYTYPE;ANYTYPE ->  Boolean .
  <=  : ANYTYPE;ANYTYPE ->  Boolean .
  >=  : ANYTYPE;ANYTYPE ->  Boolean .
</code>

==== primitive functions ====

<code>

</code>

===== I/O defaults =====

==== primitive functions ====

<code>
#----------- I/O -----------
FUNCTION display : String -> Void .
FUNCTION write : String -> Void .
FUNCTION writeln : String -> Void .
FUNCTION readBoolean : Boolean -> Void .
FUNCTION readString : String -> Void .
FUNCTION readInt : Integer -> Void .
FUNCTION readChar : Char -> Void .
</code>

===== Messages defaults =====

==== primitive functions ====

<code>
#----------- Messages -----------
FUNCTION msg : ANYTYPE -> Void .
  # standard message primitive
</code>

===== Integer =====

==== primitive operators ====

<code>
  + : Integer;Integer -> Integer .
  - : Integer;Integer -> Integer .
  / : Integer;Integer -> Integer .
  * : Integer;Integer -> Integer .
</code>

==== primitive functions ====

<code>
FUNCTION anyInt : -> Integer .
</code>

===== Boolean =====

==== primitive operators ====

<code>
  &&,and  : Boolean;Boolean -> Boolean .
  ||,or  : Boolean;Boolean ->  Boolean .
  xor  : Boolean;Boolean ->  Boolean .
  implies  : Boolean;Boolean ->  Boolean .
  equiv  : Boolean;Boolean ->  Boolean .
  not,!,~  : Boolean ->  Boolean .
</code>

==== primitive functions ====

<code>

</code>

===== String =====

==== primitive operators ====

<code>

</code>

==== primitive functions ====

<code>

</code>

===== Char =====

==== primitive operators ====

<code>

</code>

==== primitive functions ====

<code>

</code>

===== Basic cast =====

<code>
  FUNCTION asString : String -> String .
  FUNCTION asString : Boolean -> String .
  FUNCTION asString : Integer -> String .
  FUNCTION asString : Char -> String .
  FUNCTION asString : setOf LIKE -> String .
</code>