Constant STUB_ARMS 

pub const STUB_ARMS: &str = "arms";

(stub "<atom>" (arms (case …) …)) — §21.3 rule 3. The arms have no scrutinee written because only the checker knows what performs the effect, and therefore what its argument is.