Width.Length
type _ plus_n
type n = Pickles_types.Nat.z plus_n
val eq : ( n, n ) Base.Type_equal.t
val n : Pickles_types.Nat.z plus_n Pickles_types.Nat.nat
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