Snark_params (snark_params.Snark

module Make_snarkable (Impl : Snarky_backendless.Snark_intf.S) : sig ... end

module Tock0 : sig ... end

module Tick0 : sig ... end

module Make_inner_curve_scalar
  (Impl : sig ... end)
  (Other_impl : sig ... end) : 
  sig ... end

module Make_inner_curve_aux
  (Impl : sig ... end)
  (Other_impl : sig ... end) : 
  sig ... end

module Tock : sig ... end

module Tick : sig ... end

val target_bit_length : int

module type Snark_intf = sig ... end

module Group_map : sig ... end