Module Instance

A module that simplifies instanceof inheritance in CodeQL by automatically providing toString() and a convenience cast member inst().

Import path

import qtil.inheritance.Instance

InfInstance	A version of the `Instance` module that works with infinite types.
Instance	A module to make it more convenient to use `instanceof` inheritance in QL, by providing a convenience cast member, and inheriting `toString()` from the instance type.