Module Kimchi_backend_common.Endoscale_round
type 'a t = 'a Stable.Latest.t = {
xt : 'a; |
yt : 'a; |
xp : 'a; |
yp : 'a; |
n_acc : 'a; |
xr : 'a; |
yr : 'a; |
s1 : 'a; |
s3 : 'a; |
b1 : 'a; |
b2 : 'a; |
b3 : 'a; |
b4 : 'a; |
}
val t_of_sexp :
'a. ( Ppx_sexp_conv_lib.Sexp.t -> 'a ) ->
Ppx_sexp_conv_lib.Sexp.t ->
'a t
val sexp_of_t :
'a. ( 'a -> Ppx_sexp_conv_lib.Sexp.t ) ->
'a t ->
Ppx_sexp_conv_lib.Sexp.t
val to_hlist :
'a t ->
( unit,
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
unit )
H_list.t
val of_hlist :
( unit,
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
unit )
H_list.t ->
'a t
val map : 'a t -> f:( 'b -> 'c ) -> 'd t
val map2 : 'a t -> 'b t -> f:( 'c -> 'd -> 'e ) -> 'f t