Direct (kimchi_backend.Kimchi_backend_common.Scale

val iter : 
  'a t ->
  accs:
    ( ( [< `Read | `Set_and_create ], 'b t, ('b * 'b) array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('c * 'c) array ->
      'd ) ->
  bits:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'f array ->
      'g ) ->
  ss:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'i array ->
      'j ) ->
  base:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k * 'k )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('l * 'l) ->
      'm ) ->
  n_prev:
    ( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'o ->
      'p ) ->
  n_next:
    ( ( [< `Read | `Set_and_create ], 'q t, 'q ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'r ->
      's ) ->
  't

val fold : 
  'a t ->
  init:'b ->
  accs:
    ( 'c ->
      ( [< `Read | `Set_and_create ], 'd t, ('d * 'd) array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('e * 'e) array ->
      'f ) ->
  bits:
    ( 'g ->
      ( [< `Read | `Set_and_create ], 'h t, 'h array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'i array ->
      'j ) ->
  ss:
    ( 'k ->
      ( [< `Read | `Set_and_create ], 'l t, 'l array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'm array ->
      'n ) ->
  base:
    ( 'o ->
      ( [< `Read | `Set_and_create ], 'p t, 'p * 'p )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('q * 'q) ->
      'r ) ->
  n_prev:
    ( 's ->
      ( [< `Read | `Set_and_create ], 't t, 't ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'u ->
      'v ) ->
  n_next:
    ( 'w ->
      ( [< `Read | `Set_and_create ], 'x t, 'x ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'y ->
      'z ) ->
  'a1

val for_all : 
  'a t ->
  accs:
    ( ( [< `Read | `Set_and_create ], 'b t, ('b * 'b) array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('c * 'c) array ->
      bool ) ->
  bits:
    ( ( [< `Read | `Set_and_create ], 'd t, 'd array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'e array ->
      bool ) ->
  ss:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'g array ->
      bool ) ->
  base:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h * 'h )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('i * 'i) ->
      bool ) ->
  n_prev:
    ( ( [< `Read | `Set_and_create ], 'j t, 'j ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'k ->
      bool ) ->
  n_next:
    ( ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'm ->
      bool ) ->
  bool

val exists : 
  'a t ->
  accs:
    ( ( [< `Read | `Set_and_create ], 'b t, ('b * 'b) array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('c * 'c) array ->
      bool ) ->
  bits:
    ( ( [< `Read | `Set_and_create ], 'd t, 'd array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'e array ->
      bool ) ->
  ss:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'g array ->
      bool ) ->
  base:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h * 'h )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('i * 'i) ->
      bool ) ->
  n_prev:
    ( ( [< `Read | `Set_and_create ], 'j t, 'j ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'k ->
      bool ) ->
  n_next:
    ( ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'm ->
      bool ) ->
  bool

val to_list : 
  'a t ->
  accs:
    ( ( [< `Read | `Set_and_create ], 'b t, ('b * 'b) array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('c * 'c) array ->
      'd ) ->
  bits:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'f array ->
      'g ) ->
  ss:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'i array ->
      'j ) ->
  base:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k * 'k )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('l * 'l) ->
      'm ) ->
  n_prev:
    ( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'o ->
      'p ) ->
  n_next:
    ( ( [< `Read | `Set_and_create ], 'q t, 'q ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'r ->
      's ) ->
  't list

val map : 
  'a t ->
  accs:
    ( ( [< `Read | `Set_and_create ], 'b t, ('b * 'b) array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('c * 'c) array ->
      ('d * 'd) array ) ->
  bits:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'f array ->
      'g array ) ->
  ss:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h array )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      'i array ->
      'j array ) ->
  base:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k * 'k )
        Fieldslib.Field.t_with_perm ->
      'a t ->
      ('l * 'l) ->
      'm * 'm ) ->
  n_prev:
    ( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'o ->
      'p ) ->
  n_next:
    ( ( [< `Read | `Set_and_create ], 'q t, 'q ) Fieldslib.Field.t_with_perm ->
      'a t ->
      'r ->
      's ) ->
  'd t

val set_all_mutable_fields : 'a -> unit