{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// This type tells us which one to do.
/// Note that in principle we could do both at the same time. For example, when the receiver has