Module Snarky_backendless.Typ

module Data_spec0 : sig ... end
module Intf : sig ... end
module type Checked_monad = sig ... end
module Make (Checked : Checked_monad) : sig ... end
type (!'var0, !'value0, !'field0) t = ( 'var, 'value, 'field, ( unit, 'field ) Checked_runner.Simple.t ) Types.Typ.t
type (!'var0, !'value0, !'field0) typ = ( 'var, 'value, 'field ) t
module type S = sig ... end
module Data_spec : sig ... end
module T : sig ... end
val unit : unit -> ( unit, unit, 'field ) t
val field : unit -> ( 'field Cvar.t, 'field, 'field ) t
module Internal = T.Internal
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_runner.Simple.t ) Types.Typ.t -> ( 'e, 'f, 'g, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'h * 'i, 'j * 'k, 'l ) t
val (*) : ( 'a, 'b, 'c, ( unit, 'c ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'd, 'e, 'c, ( unit, 'c ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'a * 'd, 'b * 'e, 'c ) t
val tuple3 : ( 'a, 'b, 'c, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'e, 'f, 'g, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'h, 'i, 'j, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'k * 'l * 'm, 'n * 'o * 'p, 'q ) t
val tuple4 : ( 'a, 'b, 'c, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'e, 'f, 'g, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'h, 'i, 'j, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'k, 'l, 'm, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'n * 'o * 'p * 'q, 'r * 's * 't * 'u, 'v ) t
val tuple5 : ( 'a, 'b, 'c, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'e, 'f, 'g, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'h, 'i, 'j, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'k, 'l, 'm, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'n, 'o, 'p, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'q * 'r * 's * 't * 'u, 'v * 'w * 'x * 'y * 'z, 'a1 ) t
val tuple6 : ( 'a, 'b, 'c, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'e, 'f, 'g, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'h, 'i, 'j, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'k, 'l, 'm, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'n, 'o, 'p, ( unit, 'd ) Checked_runner.Simple.t ) Types.Typ.t -> ( 'q, 'r, 's, ( unit, 'd ) Checked_runner.Simple.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