Module: Token

Included in:

BaseVariable, BlockToken, IntrinsicLastRuntimeMethod, IntrinsicLiteral, IntrinsicRuntimeMethod, IntrinsicTestCases, Literal, TheoryVariable

Defined in:

lib/core/Token.rb

Overview

This module is included with elements that are either variables, literals, intrinsic runtime method or intrinsic test cases. These types of elements need identified to compare the structures of thories and theory implementations.