add : 'a -> 'a -> 'a; |
sub : 'a -> 'a -> 'a; |
mul : 'a -> 'a -> 'a; |
pow : ('a * int) -> 'a; |
square : 'a -> 'a; |
zk_polynomial : 'a; |
omega_to_minus_3 : 'a; |
zeta_to_n_minus_1 : 'a; |
var : (Column.t * curr_or_next) -> 'a; |
field : string -> 'a; |
cell : 'a -> 'a; |
alpha_pow : int -> 'a; |
double : 'a -> 'a; |
endo_coefficient : 'a; |
mds : (int * int) -> 'a; |
srs_length_log2 : int; |
vanishes_on_last_4_rows : 'a; |
joint_combiner : 'a; |
beta : 'a; |
gamma : 'a; |
unnormalized_lagrange_basis : int -> 'a; |
enabled_if : (Kimchi_types.feature_flag * ( unit -> 'a )) -> 'a; |
foreign_field_modulus : int -> 'a; |
neg_foreign_field_modulus : int -> 'a; |