parameters: (self, goal_proto: proof_assistant_pb2.Theorem,
                           tactic_application: deephol_pb2.TacticApplication
                          )
return_statement: return tf.train.Example(features=tf.train.Features(feature=features))
docstring: Convert goal,tactic pair to TFExample (for closed goal) or None.
docstring_summary: Convert goal,tactic pair to TFExample (for closed goal) or None.
docstring_tokens: Convert goal tactic pair to TFExample ( for closed goal ) or None .
function: def process_proof_step(self, goal_proto: proof_assistant_pb2.Theorem,
                           tactic_application: deephol_pb2.TacticApplication
                          ) -> Optional[tf.train.Example]:
      """Convert goal,tactic pair to TFExample (for closed goal) or None."""
      if not tactic_application.closed:
        return None
      features = self._proof_step_features(goal_proto, tactic_application)
      return tf.train.Example(features=tf.train.Features(feature=features))
function_tokens: def process_proof_step ( self , goal_proto : proof_assistant_pb2 . Theorem , tactic_application : deephol_pb2 . TacticApplication ) -> Optional [ tf . train . Example ] : if not tactic_application . closed : return None features = self . _proof_step_features ( goal_proto , tactic_application ) return tf . train . Example ( features = tf . train . Features ( feature = features ) )