Define how choice elements are translated to hardware. Update bits on types