Double

A keyword action used in a variety of contexts. See rule 701.9, “Double.”