Examples: computing withRoles / Counterpart types #
Small hand-crafted specs show how role-dependent strategy types unfold.
withRoles / Counterpart types #Small hand-crafted specs show how role-dependent strategy types unfold.