Side_loaded_verification_key.Max_branchesMax_branches is mostly an alias for Pickles_types.Nat.N8
type 'a plus_n = 'a Pickles_types.Nat.N7.plus_n Pickles_types.Nat.stype n = Pickles_types.Nat.z plus_nval 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.tmodule Log2 = Pickles_types.Nat.N3