LoadExpression

A LoadExpression is the only operation that can read from memory through a pointer.

    concrete LoadExpression : Expression
      {
        Expression * owner source_address in source_ops;
      };

source_address

specifies the starting address for the load and must have a type that is a pointer to the result_type.