Type Definition Bindings
isla_lib::ir
type Bindings<'ir, B> = HashMap<Name, UVal<'ir, B>>;
A map from identifers to potentially uninitialized values.