Module Tick.Typ

type (!'var, !'value) t = ( 'var, 'value, Tick0.Field.t, unit Checked.t ) Snarky_backendless.Types.Typ.t
val unit : ( unit, unit ) 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 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 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
type (!'var, !'value, !'aux, !'field, !'checked) typ' = {
var_to_fields : 'var -> 'field Snarky_backendless.Cvar.t array * 'aux;
var_of_fields : ('field Snarky_backendless.Cvar.t array * 'aux) -> 'var;
value_to_fields : 'value -> 'field array * 'aux;
value_of_fields : ('field array * 'aux) -> 'value;
size_in_field_elements : int;
constraint_system_auxiliary : unit -> 'aux;
check : 'var -> 'checked;
}
type (!'var, !'value, !'field, !'checked) typ =
| Typ : ( 'var0, 'value0, 'aux, 'field0, 'checked0 ) typ' -> ( 'var0, 'value0, 'field0, 'checked0 ) typ