Fields (kimchi_backend.Kimchi_backend_common.Scale

val names : string list

val n_next : 
  ( [< `Read | `Set_and_create ], 'a t, 'a0 ) Fieldslib.Field.t_with_perm

val n_prev : 
  ( [< `Read | `Set_and_create ], 'a t, 'a0 ) Fieldslib.Field.t_with_perm

val base : 
  ( [< `Read | `Set_and_create ], 'a t, 'a0 * 'a0 ) Fieldslib.Field.t_with_perm

val ss : 
  ( [< `Read | `Set_and_create ], 'a t, 'a0 array ) Fieldslib.Field.t_with_perm

val bits : 
  ( [< `Read | `Set_and_create ], 'a t, 'a0 array ) Fieldslib.Field.t_with_perm

val accs : 
  ( [< `Read | `Set_and_create ], 'a t, ('a0 * 'a0) array )
    Fieldslib.Field.t_with_perm

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

val create : 
  accs:('a * 'a) array ->
  bits:'b array ->
  ss:'c array ->
  base:('d * 'd) ->
  n_prev:'e ->
  n_next:'f ->
  'a t

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

val iter : 
  accs:
    ( ( [< `Read | `Set_and_create ], 'a t, ('a * 'a) array )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  bits:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b array )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  ss:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c array )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  base:
    ( ( [< `Read | `Set_and_create ], 'd t, 'd * 'd )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  n_prev:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  n_next:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  unit

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

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

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

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

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

module Direct : sig ... end