[This is preliminary documentation and is subject to change.]
public Switch Switch( Value value, BasicBlock defaultCase, uint numCases )