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

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

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

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

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

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

val set_all_mutable_fields : 'a -> unit