Add.Intf
type _ plus_n
type n
val eq : ( n, z plus_n ) Core_kernel.Type_equal.t
val n : z plus_n t
val add : 'm nat -> 'm plus_n nat * ( z plus_n, 'm, 'm plus_n ) Adds.t