{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
/// It consists of both the `source`, which describes how that goal would be proven,
///
/// and the `result` when using the given `source`.