AnyAbstractDomain: AbstractDomain<unknown, unknown, unknown, unknown>

A type representing any abstract domain without additional information.