Fields (kimchi_backend.Kimchi_backend_common.Endoscale_scalar

val names : string list

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val make_creator : 
  n0:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      'b ->
      ( 'c -> 'd ) * 'e ) ->
  n8:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      'g ->
      ( 'h -> 'i ) * 'j ) ->
  a0:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      'l ->
      ( 'm -> 'n ) * 'o ) ->
  b0:
    ( ( [< `Read | `Set_and_create ], 'p t, 'p ) Fieldslib.Field.t_with_perm ->
      'q ->
      ( 'r -> 's ) * 't ) ->
  a8:
    ( ( [< `Read | `Set_and_create ], 'u t, 'u ) Fieldslib.Field.t_with_perm ->
      'v ->
      ( 'w -> 'x ) * 'y ) ->
  b8:
    ( ( [< `Read | `Set_and_create ], 'z t, 'z ) Fieldslib.Field.t_with_perm ->
      'a1 ->
      ( 'b1 -> 'c1 ) * 'd1 ) ->
  x0:
    ( ( [< `Read | `Set_and_create ], 'e1 t, 'e1 ) Fieldslib.Field.t_with_perm ->
      'f1 ->
      ( 'g1 -> 'h1 ) * 'i1 ) ->
  x1:
    ( ( [< `Read | `Set_and_create ], 'j1 t, 'j1 ) Fieldslib.Field.t_with_perm ->
      'k1 ->
      ( 'l1 -> 'm1 ) * 'n1 ) ->
  x2:
    ( ( [< `Read | `Set_and_create ], 'o1 t, 'o1 ) Fieldslib.Field.t_with_perm ->
      'p1 ->
      ( 'q1 -> 'r1 ) * 's1 ) ->
  x3:
    ( ( [< `Read | `Set_and_create ], 't1 t, 't1 ) Fieldslib.Field.t_with_perm ->
      'u1 ->
      ( 'v1 -> 'w1 ) * 'x1 ) ->
  x4:
    ( ( [< `Read | `Set_and_create ], 'y1 t, 'y1 ) Fieldslib.Field.t_with_perm ->
      'z1 ->
      ( 'a2 -> 'b2 ) * 'c2 ) ->
  x5:
    ( ( [< `Read | `Set_and_create ], 'd2 t, 'd2 ) Fieldslib.Field.t_with_perm ->
      'e2 ->
      ( 'f2 -> 'g2 ) * 'h2 ) ->
  x6:
    ( ( [< `Read | `Set_and_create ], 'i2 t, 'i2 ) Fieldslib.Field.t_with_perm ->
      'j2 ->
      ( 'k2 -> 'l2 ) * 'm2 ) ->
  x7:
    ( ( [< `Read | `Set_and_create ], 'n2 t, 'n2 ) Fieldslib.Field.t_with_perm ->
      'o2 ->
      ( 'p2 -> 'q2 ) * 'r2 ) ->
  's2 ->
  ( 't2 -> 'u2 t ) * 'v2

val create : 
  n0:'a ->
  n8:'b ->
  a0:'c ->
  b0:'d ->
  a8:'e ->
  b8:'f ->
  x0:'g ->
  x1:'h ->
  x2:'i ->
  x3:'j ->
  x4:'k ->
  x5:'l ->
  x6:'m ->
  x7:'n ->
  'o t

val map : 
  n0:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      'b ) ->
  n8:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      'd ) ->
  a0:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      'f ) ->
  b0:
    ( ( [< `Read | `Set_and_create ], 'g t, 'g ) Fieldslib.Field.t_with_perm ->
      'h ) ->
  a8:
    ( ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      'j ) ->
  b8:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      'l ) ->
  x0:
    ( ( [< `Read | `Set_and_create ], 'm t, 'm ) Fieldslib.Field.t_with_perm ->
      'n ) ->
  x1:
    ( ( [< `Read | `Set_and_create ], 'o t, 'o ) Fieldslib.Field.t_with_perm ->
      'p ) ->
  x2:
    ( ( [< `Read | `Set_and_create ], 'q t, 'q ) Fieldslib.Field.t_with_perm ->
      'r ) ->
  x3:
    ( ( [< `Read | `Set_and_create ], 's t, 's ) Fieldslib.Field.t_with_perm ->
      't ) ->
  x4:
    ( ( [< `Read | `Set_and_create ], 'u t, 'u ) Fieldslib.Field.t_with_perm ->
      'v ) ->
  x5:
    ( ( [< `Read | `Set_and_create ], 'w t, 'w ) Fieldslib.Field.t_with_perm ->
      'x ) ->
  x6:
    ( ( [< `Read | `Set_and_create ], 'y t, 'y ) Fieldslib.Field.t_with_perm ->
      'z ) ->
  x7:
    ( ( [< `Read | `Set_and_create ], 'a1 t, 'a1 ) Fieldslib.Field.t_with_perm ->
      'b1 ) ->
  'c1 t

val iter : 
  n0:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  n8:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  a0:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  b0:
    ( ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  a8:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  b8:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  x0:
    ( ( [< `Read | `Set_and_create ], 'g t, 'g ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  x1:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  x2:
    ( ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  x3:
    ( ( [< `Read | `Set_and_create ], 'j t, 'j ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  x4:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  x5:
    ( ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  x6:
    ( ( [< `Read | `Set_and_create ], 'm t, 'm ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  x7:
    ( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  unit

val fold : 
  init:'a ->
  n0:
    ( 'b ->
      ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      'd ) ->
  n8:
    ( 'e ->
      ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      'g ) ->
  a0:
    ( 'h ->
      ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      'j ) ->
  b0:
    ( 'k ->
      ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
      'm ) ->
  a8:
    ( 'n ->
      ( [< `Read | `Set_and_create ], 'o t, 'o ) Fieldslib.Field.t_with_perm ->
      'p ) ->
  b8:
    ( 'q ->
      ( [< `Read | `Set_and_create ], 'r t, 'r ) Fieldslib.Field.t_with_perm ->
      's ) ->
  x0:
    ( 't ->
      ( [< `Read | `Set_and_create ], 'u t, 'u ) Fieldslib.Field.t_with_perm ->
      'v ) ->
  x1:
    ( 'w ->
      ( [< `Read | `Set_and_create ], 'x t, 'x ) Fieldslib.Field.t_with_perm ->
      'y ) ->
  x2:
    ( 'z ->
      ( [< `Read | `Set_and_create ], 'a1 t, 'a1 ) Fieldslib.Field.t_with_perm ->
      'b1 ) ->
  x3:
    ( 'c1 ->
      ( [< `Read | `Set_and_create ], 'd1 t, 'd1 ) Fieldslib.Field.t_with_perm ->
      'e1 ) ->
  x4:
    ( 'f1 ->
      ( [< `Read | `Set_and_create ], 'g1 t, 'g1 ) Fieldslib.Field.t_with_perm ->
      'h1 ) ->
  x5:
    ( 'i1 ->
      ( [< `Read | `Set_and_create ], 'j1 t, 'j1 ) Fieldslib.Field.t_with_perm ->
      'k1 ) ->
  x6:
    ( 'l1 ->
      ( [< `Read | `Set_and_create ], 'm1 t, 'm1 ) Fieldslib.Field.t_with_perm ->
      'n1 ) ->
  x7:
    ( 'o1 ->
      ( [< `Read | `Set_and_create ], 'p1 t, 'p1 ) Fieldslib.Field.t_with_perm ->
      'q1 ) ->
  'r1

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

val for_all : 
  n0:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  n8:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  a0:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b0:
    ( ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  a8:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b8:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x0:
    ( ( [< `Read | `Set_and_create ], 'g t, 'g ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x1:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x2:
    ( ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x3:
    ( ( [< `Read | `Set_and_create ], 'j t, 'j ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x4:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x5:
    ( ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x6:
    ( ( [< `Read | `Set_and_create ], 'm t, 'm ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x7:
    ( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val exists : 
  n0:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  n8:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  a0:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b0:
    ( ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  a8:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b8:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x0:
    ( ( [< `Read | `Set_and_create ], 'g t, 'g ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x1:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x2:
    ( ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x3:
    ( ( [< `Read | `Set_and_create ], 'j t, 'j ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x4:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x5:
    ( ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x6:
    ( ( [< `Read | `Set_and_create ], 'm t, 'm ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  x7:
    ( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val to_list : 
  n0:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      'b ) ->
  n8:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      'd ) ->
  a0:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      'f ) ->
  b0:
    ( ( [< `Read | `Set_and_create ], 'g t, 'g ) Fieldslib.Field.t_with_perm ->
      'h ) ->
  a8:
    ( ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      'j ) ->
  b8:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      'l ) ->
  x0:
    ( ( [< `Read | `Set_and_create ], 'm t, 'm ) Fieldslib.Field.t_with_perm ->
      'n ) ->
  x1:
    ( ( [< `Read | `Set_and_create ], 'o t, 'o ) Fieldslib.Field.t_with_perm ->
      'p ) ->
  x2:
    ( ( [< `Read | `Set_and_create ], 'q t, 'q ) Fieldslib.Field.t_with_perm ->
      'r ) ->
  x3:
    ( ( [< `Read | `Set_and_create ], 's t, 's ) Fieldslib.Field.t_with_perm ->
      't ) ->
  x4:
    ( ( [< `Read | `Set_and_create ], 'u t, 'u ) Fieldslib.Field.t_with_perm ->
      'v ) ->
  x5:
    ( ( [< `Read | `Set_and_create ], 'w t, 'w ) Fieldslib.Field.t_with_perm ->
      'x ) ->
  x6:
    ( ( [< `Read | `Set_and_create ], 'y t, 'y ) Fieldslib.Field.t_with_perm ->
      'z ) ->
  x7:
    ( ( [< `Read | `Set_and_create ], 'a1 t, 'a1 ) Fieldslib.Field.t_with_perm ->
      'b1 ) ->
  'c1 list

module Direct : sig ... end