Integrated_test.Group
type value = Snark_params.Tick.Inner_curve.t
type var = Snark_params.Tick.Inner_curve.var
val scale : Snark_params.Tick.Inner_curve.t -> Kimchi_pasta_basic.Fq.t -> Snark_params.Tick.Inner_curve.t
module Checked : sig ... end