Verification_key.Max_branches
type _ plus_n
type n
val eq : ( n, Pickles_types.Nat.z plus_n ) Core_kernel.Type_equal.t
val n : Pickles_types.Nat.z plus_n Pickles_types.Nat.t
val add : 'm Pickles_types.Nat.nat -> 'm plus_n Pickles_types.Nat.nat * ( Pickles_types.Nat.z plus_n, 'm, 'm plus_n ) Pickles_types.Nat.Adds.t