Module Kimchi_backend_common.Endoscale_scalar_round
type 'a t = 'a Stable.Latest.t = {
n0 : 'a; |
n8 : 'a; |
a0 : 'a; |
b0 : 'a; |
a8 : 'a; |
b8 : 'a; |
x0 : 'a; |
x1 : 'a; |
x2 : 'a; |
x3 : 'a; |
x4 : 'a; |
x5 : 'a; |
x6 : 'a; |
x7 : '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 ->
'a ->
unit )
H_list.t
val of_hlist :
( unit,
'a ->
'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