Tuple13ToExpr
given Tuple13ToExpr[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]: ToExpr[(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13)]
Default implementation of ToExpr[Tuple13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]]
Default implementation of ToExpr[Tuple13[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13]]