{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// A candidate is a possible way to prove a goal.
/// It consists of both the `source`, which describes how that goal would be proven,