Small type and purity predicates used while lowering compiler IR.
Summary
Functions
Returns whether a slot is definitely initialized.
Infers a coarse VM type for an Erlang abstract expression.
Returns whether an expression can be duplicated without side effects.