Module Pickles.Endo

module Step_inner_curve : sig ... end

Step_inner_curve contains the endo coefficients used by the step proof system

module Wrap_inner_curve : sig ... end

Wrap_inner_curve contains the endo coefficients used by the wrap proof system