parameters: (self, node)
return_statement: return predictions.ProofState(goal=str(node.goal.conclusion))
docstring: Convert from proof_search_tree.ProofSearchNode to ProofState.
docstring_summary: Convert from proof_search_tree.ProofSearchNode to ProofState.
docstring_tokens: Convert from proof_search_tree . ProofSearchNode to ProofState .
function: def proof_state_from_search(self, node) -> predictions.ProofState:
      """Convert from proof_search_tree.ProofSearchNode to ProofState."""
      return predictions.ProofState(goal=str(node.goal.conclusion))
function_tokens: def proof_state_from_search ( self , node ) -> predictions . ProofState : return predictions . ProofState ( goal = str ( node . goal . conclusion ) )