Module AbstractValues::AbstractInstance

Predicates

of

Gets the abstract value representing instances of f, which is a function or a class.