docs: def BooleanSlice(input_vertex: vertex_constructor_param_types, dimension: int, index: int, label: Optional[str]=None) -> Vertex:
      """
      Takes the slice along a given dimension and index of a vertex
      
      :param input_vertex: the input vertex
      :param dimension: the dimension to extract along
      :param index: the index of extraction
      """
      return Boolean(context.jvm_view().BooleanSliceVertex, label, cast_to_vertex(input_vertex), cast_to_integer(dimension), cast_to_integer(index))