Pulselib.PulseCheapCopyTypes
val is_known_cheap_copy : IR.Tenv.t -> IR.Typ.name -> bool
Check if a struct name is known to be a cheap copy for unnecessary copy checker.