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.