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 tval sexp_of_t :
'a. ( 'a -> Ppx_sexp_conv_lib.Sexp.t ) ->
'a t ->
Ppx_sexp_conv_lib.Sexp.tval to_hlist :
'a t ->
( unit,
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
unit )
H_list.tval of_hlist :
( unit,
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
'a ->
unit )
H_list.t ->
'a tval map : 'a t -> f:( 'b -> 'c ) -> 'd tval map2 : 'a t -> 'b t -> f:( 'c -> 'd -> 'e ) -> 'f t