Module `Step_main_inputs.Generators`

val h : (Pasta_bindings.Fp.t * Pasta_bindings.Fp.t) lazy_t