Typ (pickles.Pickles.Impls.Step.Typ)

type (!'var, !'value) t =
  ( 'var, 'value, Field.Constant.t, unit Internal_Basic.Checked.t )
    Snarky_backendless.Types.Typ.t

val unit : ( unit, unit ) t

val field : ( Field.t, Field.Constant.t ) t

val tuple2 : 
  ( 'var1, 'value1 ) t ->
  ( 'var2, 'value2 ) t ->
  ( 'var1 * 'var2, 'value1 * 'value2 ) t

val (*) : 
  ( 'var1, 'value1 ) t ->
  ( 'var2, 'value2 ) t ->
  ( 'var1 * 'var2, 'value1 * 'value2 ) t

val tuple3 : 
  ( 'var1, 'value1 ) t ->
  ( 'var2, 'value2 ) t ->
  ( 'var3, 'value3 ) t ->
  ( 'var1 * 'var2 * 'var3, 'value1 * 'value2 * 'value3 ) t

val list : length:int -> ( 'var, 'value ) t -> ( 'var list, 'value list ) t

val array : length:int -> ( 'var, 'value ) t -> ( 'var array, 'value array ) t

val hlist : 
  ( unit, unit, 'k_var, 'k_value, field, unit Internal_Basic.Checked.t )
    Snarky_backendless.Typ.Data_spec0.data_spec ->
  ( ( unit, 'k_var ) H_list.t, ( unit, 'k_value ) H_list.t ) t

val transport : 
  ( 'var, 'value1 ) t ->
  there:( 'value2 -> 'value1 ) ->
  back:( 'value1 -> 'value2 ) ->
  ( 'var, 'value2 ) t

val transport_var : 
  ( 'var1, 'value ) t ->
  there:( 'var2 -> 'var1 ) ->
  back:( 'var1 -> 'var2 ) ->
  ( 'var2, 'value ) t

val of_hlistable : 
  ( unit, unit, 'k_var, 'k_value, field, unit Internal_Basic.Checked.t )
    Snarky_backendless.Typ.Data_spec0.data_spec ->
  var_to_hlist:( 'var -> ( unit, 'k_var ) H_list.t ) ->
  var_of_hlist:( ( unit, 'k_var ) H_list.t -> 'var ) ->
  value_to_hlist:( 'value -> ( unit, 'k_value ) H_list.t ) ->
  value_of_hlist:( ( unit, 'k_value ) H_list.t -> 'value ) ->
  ( 'var, 'value ) t

module Internal : sig ... end