Hello!

Over in the shared-everything-threads proposal we envision parameterizing the Instr_ok relation (and a number of other relations) with a share where share is either shared or eps. Does the DSL support parameterizing relations? If not, is there another way to express something similar?