T (snarky.Snarky_backendless.Typ.Make.T)

val unit : unit -> ( unit, unit, 'field ) t

val field : unit -> ( 'field Cvar.t, 'field, 'field ) t

module Internal : sig ... end

val transport : 
  ( 'var, 'value1, 'field ) t ->
  there:( 'value2 -> 'value10 ) ->
  back:( 'value11 -> 'value20 ) ->
  ( 'var0, 'value21, 'field0 ) t

val transport_var : 
  ( 'var1, 'value, 'field ) t ->
  there:( 'var2 -> 'var10 ) ->
  back:( 'var11 -> 'var20 ) ->
  ( 'var21, 'value0, 'field0 ) t

val list : 
  length:int ->
  ( 'elt_var, 'elt_value, 'field ) t ->
  ( 'elt_var0 list, 'elt_value0 list, 'field0 ) t

val array : 
  length:int ->
  ( 'a, 'b, 'c ) t ->
  ( 'd Core_kernel.Array.t, 'e Core_kernel.Array.t, 'f ) t

val hlist : 
  ( unit, unit, 'k_var, 'k_value, 'f ) Data_spec.t ->
  ( ( unit, 'k_var0 ) H_list.t, ( unit, 'k_value0 ) H_list.t, 'f0 ) t

val tuple2 : 
  ( 'a, 'b, 'c, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'e, 'f, 'g, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'h * 'i, 'j * 'k, 'l ) t

val (*) : 
  ( 'a, 'b, 'c, ( unit, 'c ) Checked.t ) Types.Typ.t ->
  ( 'd, 'e, 'c, ( unit, 'c ) Checked.t ) Types.Typ.t ->
  ( 'a * 'd, 'b * 'e, 'c ) t

val tuple3 : 
  ( 'a, 'b, 'c, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'e, 'f, 'g, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'h, 'i, 'j, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'k * 'l * 'm, 'n * 'o * 'p, 'q ) t

val tuple4 : 
  ( 'a, 'b, 'c, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'e, 'f, 'g, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'h, 'i, 'j, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'k, 'l, 'm, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'n * 'o * 'p * 'q, 'r * 's * 't * 'u, 'v ) t

val tuple5 : 
  ( 'a, 'b, 'c, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'e, 'f, 'g, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'h, 'i, 'j, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'k, 'l, 'm, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'n, 'o, 'p, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'q * 'r * 's * 't * 'u, 'v * 'w * 'x * 'y * 'z, 'a1 ) t

val tuple6 : 
  ( 'a, 'b, 'c, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'e, 'f, 'g, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'h, 'i, 'j, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'k, 'l, 'm, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'n, 'o, 'p, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 'q, 'r, 's, ( unit, 'd ) Checked.t ) Types.Typ.t ->
  ( 't * 'u * 'v * 'w * 'x * 'y, 'z * 'a1 * 'b1 * 'c1 * 'd1 * 'e1, 'f1 ) t

val of_hlistable : 
  ( unit, unit, 'k_var, 'k_value, 'f ) Data_spec.t ->
  var_to_hlist:( 'var -> ( unit, 'k_var0 ) H_list.t ) ->
  var_of_hlist:( ( unit, 'k_var1 ) H_list.t -> 'var0 ) ->
  value_to_hlist:( 'value -> ( unit, 'k_value0 ) H_list.t ) ->
  value_of_hlist:( ( unit, 'k_value1 ) H_list.t -> 'value0 ) ->
  ( 'var1, 'value1, 'f0 ) t