syntax_data: {"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// De Bruijn indices within the type are contained within `0..D`
context_before:     /// We call this concept an "exclusive" binder `D` because all
context_after:     /// (exclusive).