Fields (kimchi_backend.Kimchi_backend_common.Endoscale

val names : string list

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

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

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

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

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

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

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

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

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

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

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

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

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

val make_creator : 
  xt:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      'b ->
      ( 'c -> 'd ) * 'e ) ->
  yt:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      'g ->
      ( 'h -> 'i ) * 'j ) ->
  xp:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      'l ->
      ( 'm -> 'n ) * 'o ) ->
  yp:
    ( ( [< `Read | `Set_and_create ], 'p t, 'p ) Fieldslib.Field.t_with_perm ->
      'q ->
      ( 'r -> 's ) * 't ) ->
  n_acc:
    ( ( [< `Read | `Set_and_create ], 'u t, 'u ) Fieldslib.Field.t_with_perm ->
      'v ->
      ( 'w -> 'x ) * 'y ) ->
  xr:
    ( ( [< `Read | `Set_and_create ], 'z t, 'z ) Fieldslib.Field.t_with_perm ->
      'a1 ->
      ( 'b1 -> 'c1 ) * 'd1 ) ->
  yr:
    ( ( [< `Read | `Set_and_create ], 'e1 t, 'e1 ) Fieldslib.Field.t_with_perm ->
      'f1 ->
      ( 'g1 -> 'h1 ) * 'i1 ) ->
  s1:
    ( ( [< `Read | `Set_and_create ], 'j1 t, 'j1 ) Fieldslib.Field.t_with_perm ->
      'k1 ->
      ( 'l1 -> 'm1 ) * 'n1 ) ->
  s3:
    ( ( [< `Read | `Set_and_create ], 'o1 t, 'o1 ) Fieldslib.Field.t_with_perm ->
      'p1 ->
      ( 'q1 -> 'r1 ) * 's1 ) ->
  b1:
    ( ( [< `Read | `Set_and_create ], 't1 t, 't1 ) Fieldslib.Field.t_with_perm ->
      'u1 ->
      ( 'v1 -> 'w1 ) * 'x1 ) ->
  b2:
    ( ( [< `Read | `Set_and_create ], 'y1 t, 'y1 ) Fieldslib.Field.t_with_perm ->
      'z1 ->
      ( 'a2 -> 'b2 ) * 'c2 ) ->
  b3:
    ( ( [< `Read | `Set_and_create ], 'd2 t, 'd2 ) Fieldslib.Field.t_with_perm ->
      'e2 ->
      ( 'f2 -> 'g2 ) * 'h2 ) ->
  b4:
    ( ( [< `Read | `Set_and_create ], 'i2 t, 'i2 ) Fieldslib.Field.t_with_perm ->
      'j2 ->
      ( 'k2 -> 'l2 ) * 'm2 ) ->
  'n2 ->
  ( 'o2 -> 'p2 t ) * 'q2

val create : 
  xt:'a ->
  yt:'b ->
  xp:'c ->
  yp:'d ->
  n_acc:'e ->
  xr:'f ->
  yr:'g ->
  s1:'h ->
  s3:'i ->
  b1:'j ->
  b2:'k ->
  b3:'l ->
  b4:'m ->
  'n t

val map : 
  xt:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      'b ) ->
  yt:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      'd ) ->
  xp:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      'f ) ->
  yp:
    ( ( [< `Read | `Set_and_create ], 'g t, 'g ) Fieldslib.Field.t_with_perm ->
      'h ) ->
  n_acc:
    ( ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      'j ) ->
  xr:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      'l ) ->
  yr:
    ( ( [< `Read | `Set_and_create ], 'm t, 'm ) Fieldslib.Field.t_with_perm ->
      'n ) ->
  s1:
    ( ( [< `Read | `Set_and_create ], 'o t, 'o ) Fieldslib.Field.t_with_perm ->
      'p ) ->
  s3:
    ( ( [< `Read | `Set_and_create ], 'q t, 'q ) Fieldslib.Field.t_with_perm ->
      'r ) ->
  b1:
    ( ( [< `Read | `Set_and_create ], 's t, 's ) Fieldslib.Field.t_with_perm ->
      't ) ->
  b2:
    ( ( [< `Read | `Set_and_create ], 'u t, 'u ) Fieldslib.Field.t_with_perm ->
      'v ) ->
  b3:
    ( ( [< `Read | `Set_and_create ], 'w t, 'w ) Fieldslib.Field.t_with_perm ->
      'x ) ->
  b4:
    ( ( [< `Read | `Set_and_create ], 'y t, 'y ) Fieldslib.Field.t_with_perm ->
      'z ) ->
  'a1 t

val iter : 
  xt:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  yt:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  xp:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  yp:
    ( ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  n_acc:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  xr:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  yr:
    ( ( [< `Read | `Set_and_create ], 'g t, 'g ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  s1:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  s3:
    ( ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  b1:
    ( ( [< `Read | `Set_and_create ], 'j t, 'j ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  b2:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  b3:
    ( ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  b4:
    ( ( [< `Read | `Set_and_create ], 'm t, 'm ) Fieldslib.Field.t_with_perm ->
      unit ) ->
  unit

val fold : 
  init:'a ->
  xt:
    ( 'b ->
      ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      'd ) ->
  yt:
    ( 'e ->
      ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      'g ) ->
  xp:
    ( 'h ->
      ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      'j ) ->
  yp:
    ( 'k ->
      ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
      'm ) ->
  n_acc:
    ( 'n ->
      ( [< `Read | `Set_and_create ], 'o t, 'o ) Fieldslib.Field.t_with_perm ->
      'p ) ->
  xr:
    ( 'q ->
      ( [< `Read | `Set_and_create ], 'r t, 'r ) Fieldslib.Field.t_with_perm ->
      's ) ->
  yr:
    ( 't ->
      ( [< `Read | `Set_and_create ], 'u t, 'u ) Fieldslib.Field.t_with_perm ->
      'v ) ->
  s1:
    ( 'w ->
      ( [< `Read | `Set_and_create ], 'x t, 'x ) Fieldslib.Field.t_with_perm ->
      'y ) ->
  s3:
    ( 'z ->
      ( [< `Read | `Set_and_create ], 'a1 t, 'a1 ) Fieldslib.Field.t_with_perm ->
      'b1 ) ->
  b1:
    ( 'c1 ->
      ( [< `Read | `Set_and_create ], 'd1 t, 'd1 ) Fieldslib.Field.t_with_perm ->
      'e1 ) ->
  b2:
    ( 'f1 ->
      ( [< `Read | `Set_and_create ], 'g1 t, 'g1 ) Fieldslib.Field.t_with_perm ->
      'h1 ) ->
  b3:
    ( 'i1 ->
      ( [< `Read | `Set_and_create ], 'j1 t, 'j1 ) Fieldslib.Field.t_with_perm ->
      'k1 ) ->
  b4:
    ( 'l1 ->
      ( [< `Read | `Set_and_create ], 'm1 t, 'm1 ) Fieldslib.Field.t_with_perm ->
      'n1 ) ->
  'o1

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

val for_all : 
  xt:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  yt:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  xp:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  yp:
    ( ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  n_acc:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  xr:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  yr:
    ( ( [< `Read | `Set_and_create ], 'g t, 'g ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  s1:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  s3:
    ( ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b1:
    ( ( [< `Read | `Set_and_create ], 'j t, 'j ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b2:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b3:
    ( ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b4:
    ( ( [< `Read | `Set_and_create ], 'm t, 'm ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val exists : 
  xt:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  yt:
    ( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  xp:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  yp:
    ( ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  n_acc:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  xr:
    ( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  yr:
    ( ( [< `Read | `Set_and_create ], 'g t, 'g ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  s1:
    ( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  s3:
    ( ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b1:
    ( ( [< `Read | `Set_and_create ], 'j t, 'j ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b2:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b3:
    ( ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  b4:
    ( ( [< `Read | `Set_and_create ], 'm t, 'm ) Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val to_list : 
  xt:
    ( ( [< `Read | `Set_and_create ], 'a t, 'a ) Fieldslib.Field.t_with_perm ->
      'b ) ->
  yt:
    ( ( [< `Read | `Set_and_create ], 'c t, 'c ) Fieldslib.Field.t_with_perm ->
      'd ) ->
  xp:
    ( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
      'f ) ->
  yp:
    ( ( [< `Read | `Set_and_create ], 'g t, 'g ) Fieldslib.Field.t_with_perm ->
      'h ) ->
  n_acc:
    ( ( [< `Read | `Set_and_create ], 'i t, 'i ) Fieldslib.Field.t_with_perm ->
      'j ) ->
  xr:
    ( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
      'l ) ->
  yr:
    ( ( [< `Read | `Set_and_create ], 'm t, 'm ) Fieldslib.Field.t_with_perm ->
      'n ) ->
  s1:
    ( ( [< `Read | `Set_and_create ], 'o t, 'o ) Fieldslib.Field.t_with_perm ->
      'p ) ->
  s3:
    ( ( [< `Read | `Set_and_create ], 'q t, 'q ) Fieldslib.Field.t_with_perm ->
      'r ) ->
  b1:
    ( ( [< `Read | `Set_and_create ], 's t, 's ) Fieldslib.Field.t_with_perm ->
      't ) ->
  b2:
    ( ( [< `Read | `Set_and_create ], 'u t, 'u ) Fieldslib.Field.t_with_perm ->
      'v ) ->
  b3:
    ( ( [< `Read | `Set_and_create ], 'w t, 'w ) Fieldslib.Field.t_with_perm ->
      'x ) ->
  b4:
    ( ( [< `Read | `Set_and_create ], 'y t, 'y ) Fieldslib.Field.t_with_perm ->
      'z ) ->
  'a1 list

module Direct : sig ... end