{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"///"}]}
    /// A user-provided, batching width. If not given, we will default to 1 (no batching).
    pub mode: DiffMode,
    /// Calling a differentiated, non-batched function through a loop 100 times is equivalent to: