{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"///"}]}
    /// the bound values in `C` to their instantiated values in `V`
    /// `V` and a instantiation `S`. This instantiation `S` maps from
    /// (in other words, `S(C) = V`).