Fields_of_parsed_axis_labels (neural_nets_lib.Einsum_parser.Fields_of_parsed_axis

val names : string list

val labels : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec axis_map)
    Fieldslib.Field.t_with_perm

val given_beg_output : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
    Fieldslib.Field.t_with_perm

val given_beg_input : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
    Fieldslib.Field.t_with_perm

val given_beg_batch : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
    Fieldslib.Field.t_with_perm

val given_output : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
    Fieldslib.Field.t_with_perm

val given_input : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
    Fieldslib.Field.t_with_perm

val given_batch : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
    Fieldslib.Field.t_with_perm

val implicit_input : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
    Fieldslib.Field.t_with_perm

val implicit_batch : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
    Fieldslib.Field.t_with_perm

val bcast_output : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, Base.string Base.option)
    Fieldslib.Field.t_with_perm

val bcast_input : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, Base.string Base.option)
    Fieldslib.Field.t_with_perm

val bcast_batch : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, Base.string Base.option)
    Fieldslib.Field.t_with_perm

val make_creator : 
  bcast_batch:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'a ->
      ('b -> Base.string Base.option) * 'c) ->
  bcast_input:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'c ->
      ('b -> Base.string Base.option) * 'd) ->
  bcast_output:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'd ->
      ('b -> Base.string Base.option) * 'e) ->
  implicit_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      'e ->
      ('b -> Base.bool) * 'f) ->
  implicit_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      'f ->
      ('b -> Base.bool) * 'g) ->
  given_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'g ->
      ('b -> axis_spec Base.list) * 'h) ->
  given_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'h ->
      ('b -> axis_spec Base.list) * 'i) ->
  given_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'i ->
      ('b -> axis_spec Base.list) * 'j) ->
  given_beg_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'j ->
      ('b -> axis_spec Base.list) * 'k) ->
  given_beg_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'k ->
      ('b -> axis_spec Base.list) * 'l) ->
  given_beg_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'l ->
      ('b -> axis_spec Base.list) * 'm) ->
  labels:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec axis_map)
       Fieldslib.Field.t_with_perm ->
      'm ->
      ('b -> axis_spec axis_map) * 'n) ->
  'a ->
  ('b -> parsed_axis_labels) * 'n

val create : 
  bcast_batch:Base.string Base.option ->
  bcast_input:Base.string Base.option ->
  bcast_output:Base.string Base.option ->
  implicit_batch:Base.bool ->
  implicit_input:Base.bool ->
  given_batch:axis_spec Base.list ->
  given_input:axis_spec Base.list ->
  given_output:axis_spec Base.list ->
  given_beg_batch:axis_spec Base.list ->
  given_beg_input:axis_spec Base.list ->
  given_beg_output:axis_spec Base.list ->
  labels:axis_spec axis_map ->
  parsed_axis_labels

val map : 
  bcast_batch:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.string Base.option) ->
  bcast_input:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.string Base.option) ->
  bcast_output:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.string Base.option) ->
  implicit_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  implicit_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      axis_spec Base.list) ->
  given_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      axis_spec Base.list) ->
  given_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      axis_spec Base.list) ->
  given_beg_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      axis_spec Base.list) ->
  given_beg_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      axis_spec Base.list) ->
  given_beg_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      axis_spec Base.list) ->
  labels:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec axis_map)
       Fieldslib.Field.t_with_perm ->
      axis_spec axis_map) ->
  parsed_axis_labels

val iter : 
  bcast_batch:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  bcast_input:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  bcast_output:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  implicit_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  implicit_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  given_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  given_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  given_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  given_beg_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  given_beg_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  given_beg_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  labels:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec axis_map)
       Fieldslib.Field.t_with_perm ->
      Base.unit) ->
  Base.unit

val fold : 
  init:'a ->
  bcast_batch:
    ('a ->
      ([< `Read | `Set_and_create ],
        parsed_axis_labels,
        Base.string Base.option)
        Fieldslib.Field.t_with_perm ->
      'b) ->
  bcast_input:
    ('b ->
      ([< `Read | `Set_and_create ],
        parsed_axis_labels,
        Base.string Base.option)
        Fieldslib.Field.t_with_perm ->
      'c) ->
  bcast_output:
    ('c ->
      ([< `Read | `Set_and_create ],
        parsed_axis_labels,
        Base.string Base.option)
        Fieldslib.Field.t_with_perm ->
      'd) ->
  implicit_batch:
    ('d ->
      ([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
        Fieldslib.Field.t_with_perm ->
      'e) ->
  implicit_input:
    ('e ->
      ([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
        Fieldslib.Field.t_with_perm ->
      'f) ->
  given_batch:
    ('f ->
      ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
        Fieldslib.Field.t_with_perm ->
      'g) ->
  given_input:
    ('g ->
      ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
        Fieldslib.Field.t_with_perm ->
      'h) ->
  given_output:
    ('h ->
      ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
        Fieldslib.Field.t_with_perm ->
      'i) ->
  given_beg_batch:
    ('i ->
      ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
        Fieldslib.Field.t_with_perm ->
      'j) ->
  given_beg_input:
    ('j ->
      ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
        Fieldslib.Field.t_with_perm ->
      'k) ->
  given_beg_output:
    ('k ->
      ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
        Fieldslib.Field.t_with_perm ->
      'l) ->
  labels:
    ('l ->
      ([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec axis_map)
        Fieldslib.Field.t_with_perm ->
      'm) ->
  'm

val map_poly : 
  ([< `Read | `Set_and_create ], parsed_axis_labels, 'a) Fieldslib.Field.user ->
  'a list

val for_all : 
  bcast_batch:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  bcast_input:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  bcast_output:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  implicit_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  implicit_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_beg_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_beg_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_beg_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  labels:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec axis_map)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  Base.bool

val exists : 
  bcast_batch:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  bcast_input:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  bcast_output:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  implicit_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  implicit_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_beg_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_beg_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  given_beg_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  labels:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec axis_map)
       Fieldslib.Field.t_with_perm ->
      Base.bool) ->
  Base.bool

val to_list : 
  bcast_batch:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  bcast_input:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  bcast_output:
    (([< `Read | `Set_and_create ],
       parsed_axis_labels,
       Base.string Base.option)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  implicit_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  implicit_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, Base.bool)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  given_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  given_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  given_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  given_beg_batch:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  given_beg_input:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  given_beg_output:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec Base.list)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  labels:
    (([< `Read | `Set_and_create ], parsed_axis_labels, axis_spec axis_map)
       Fieldslib.Field.t_with_perm ->
      'a) ->
  'a list

module Direct : sig ... end