Up – kimchi_backend » Kimchi_backend_common » Dlog_plonk_based_keypair » Make » 1-Inputs » Rounds

Module `1-Inputs.Rounds`

type n

val n : n Pickles_types.Nat.t