Module Pulselib__PulseUninitBlocklist
val is_blocklisted_struct : IR.Typ.name -> boolCheck if a struct name is in the blocklist for uninit checker.
Pulselib__PulseUninitBlocklistval is_blocklisted_struct : IR.Typ.name -> boolCheck if a struct name is in the blocklist for uninit checker.