function transition<__Block> input __Block from; input __Block to; input Boolean condition; input Boolean immediate = true; input Boolean reset = true; input Boolean synchronize = false; input Integer priority = 1; end transition;