parameters: (self, node)
return_statement: return self.labels[self.children[variable_node][2]]
docstring: Relies on the S-expression originating from HOL Light.
docstring_summary: Relies on the S-expression originating from HOL Light.
docstring_tokens: Relies on the S - expression originating from HOL Light .
function: def get_bound_variable(self, node) -> Optional[Text]:
      """Relies on the S-expression originating from HOL Light."""
      if not self.is_abstraction(node):
        return None
      variable_node = self.children[node][1]
      if self.labels[self.children[variable_node][0]] != 'v':
        raise ValueError(
            'Expected a variable node (v <type> <var_name>). Expression was %s' %
            self.to_text(node))
      if not self.is_leaf_node(self.children[variable_node][2]):
        raise ValueError(
            'Expected a variable node (v <type> <var_name>). Expression was: %s' %
            self.to_text(node))
      return self.labels[self.children[variable_node][2]]
function_tokens: def get_bound_variable ( self , node ) -> Optional [ Text ] : if not self . is_abstraction ( node ) : return None variable_node = self . children [ node ] [ 1 ] if self . labels [ self . children [ variable_node ] [ 0 ] ] != 'v' : raise ValueError ( 'Expected a variable node (v <type> <var_name>). Expression was %s' % self . to_text ( node ) ) if not self . is_leaf_node ( self . children [ variable_node ] [ 2 ] ) : raise ValueError ( 'Expected a variable node (v <type> <var_name>). Expression was: %s' % self . to_text ( node ) ) return self . labels [ self . children [ variable_node ] [ 2 ] ]