partition.Rd
Set partition for a resource profile
partition(profile, value)
A resource profile object
Partition name
Updated profile object
Use res_partition() to avoid naming collisions in user code.