parameters: (argv, option)
return_statement: return ([], leftover)
docstring: Extract the list of values for option from options.
  
    Args:
      option: The option whose value to extract, without the leading '/'.
  
    Returns:
      1. A list of values, either directly following the option,
      (eg., /opt val1 val2) or values collected from multiple occurrences of
      the option (eg., /opt val1 /opt val2).
      2. The leftover options.
docstring_summary: Extract the list of values for option from options.
docstring_tokens: Extract the list of values for option from options .
function: def GetOptionValue(argv, option):
    """Extract the list of values for option from options.
  
    Args:
      option: The option whose value to extract, without the leading '/'.
  
    Returns:
      1. A list of values, either directly following the option,
      (eg., /opt val1 val2) or values collected from multiple occurrences of
      the option (eg., /opt val1 /opt val2).
      2. The leftover options.
    """
  
    parser = ArgumentParser(prefix_chars='/')
    parser.add_argument('/' + option, nargs='*', action='append')
    args, leftover = parser.parse_known_args(argv)
    if args and vars(args)[option]:
      return (sum(vars(args)[option], []), leftover)
    return ([], leftover)
function_tokens: def GetOptionValue ( argv , option ) : parser = ArgumentParser ( prefix_chars = '/' ) parser . add_argument ( '/' + option , nargs = '*' , action = 'append' ) args , leftover = parser . parse_known_args ( argv ) if args and vars ( args ) [ option ] : return ( sum ( vars ( args ) [ option ] , [ ] ) , leftover ) return ( [ ] , leftover )