Inherited from Serializable
Inherited by implicit conversion any2stringadd from
Procedure13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] to any2stringadd[Procedure13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]]
Inherited by implicit conversion StringFormat from
Procedure13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] to StringFormat[Procedure13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]]
Inherited by implicit conversion Ensuring from
Procedure13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] to Ensuring[Procedure13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]]
Inherited by implicit conversion ArrowAssoc from
Procedure13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] to ArrowAssoc[Procedure13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]]
A Consumer interface. Used to create 13-arg consumers in Java. A Procedure is like a Function, but it doesn't produce a return value.
Serializable
is needed to be able to grab line number for Java 8 lambdas.