Represents a transformation from an expression to another

Ex. Change of type to TypeError

Represents a unary operation expression constructor

Represents a binary operation expression constructor

Generates AST expression for the given literal

Constructs a struct from the list of ID -> Expression mappings

Right now, we implement these by storing the member IDs into the type graph

Note: We do not allow duplicated member IDs

Transforms a member with its type definition to a member with its type ID

Gives the most general type from two expressions to which they can be casted

General constructor for binary operation with the given operator applying the given checks

Binary operation specific constructor check

Binary operation specific constructor check

Binary operation specific constructor check

Binary operation specific constructor check

(>=) receives two "sortable" types

(<=) receives two "sortable" types

(<) receives two "sortable" types

(>) receives two "sortable" types

Boolean AND receives two booleans

Boolean OR receives two booleans

Equality check receives two "equalable" types

NotEquality check receives two "equalable" types

An assignement to the left side of the value from the right side

This checks that a general type for converting the right side exists

Note: An assignment is both an instruction and an expression

Note: It is known the left side is assignable

Note: Right side must be of a more specific type than left side

The indexation of the array in the left side with the key/index on the right side

This checks the left side is actually of an array type

Note: It is known the left side is assignable and the right side is int expression

Note: Left side must be array type

The access to a membercomponent (ID right) of a thingmachine (left)

This checks left side is either a Machine or a Thing, and that it knows a member with the ID

Note: It is known the left lise is assignable

Creates a direction to a value of type given

Note: We are already given the existent type ID

Note: Left side is known to be a person

Creates a dereferencing expression for the given expression

This checks the expression is a direction to somewhere

Note: It is know the expression is assignable

A call to a function (ID) with parameters (given list)

This checks for the correct number of arguments and their types

Note: Left side is known to be existent function (?)

Compares the given formal and actual parameters types

Constructs an array from the list of expressions All expressions must be of the same type

Note: Sutori grammar doesn't allow empty arrays

Checks the type of the array is consistent with the types of its elements