(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2) Source # | |
|
(KnownSymbol l1, FromField v1) => FromNamedRecord ((:=) l1 v1) Source # | |
|
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3) Source # | |
|
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4) Source # | |
|
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5) Source # | |
|
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6) Source # | |
|
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7) Source # | |
|
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8) Source # | |
|
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9) Source # | |
|
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10) Source # | |
|
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14, KnownSymbol l15, FromField v15) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14, l15 := v15) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14, KnownSymbol l15, FromField v15, KnownSymbol l16, FromField v16) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14, l15 := v15, l16 := v16) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14, KnownSymbol l15, FromField v15, KnownSymbol l16, FromField v16, KnownSymbol l17, FromField v17) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14, l15 := v15, l16 := v16, l17 := v17) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14, KnownSymbol l15, FromField v15, KnownSymbol l16, FromField v16, KnownSymbol l17, FromField v17, KnownSymbol l18, FromField v18) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14, l15 := v15, l16 := v16, l17 := v17, l18 := v18) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14, KnownSymbol l15, FromField v15, KnownSymbol l16, FromField v16, KnownSymbol l17, FromField v17, KnownSymbol l18, FromField v18, KnownSymbol l19, FromField v19) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14, l15 := v15, l16 := v16, l17 := v17, l18 := v18, l19 := v19) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14, KnownSymbol l15, FromField v15, KnownSymbol l16, FromField v16, KnownSymbol l17, FromField v17, KnownSymbol l18, FromField v18, KnownSymbol l19, FromField v19, KnownSymbol l20, FromField v20) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14, l15 := v15, l16 := v16, l17 := v17, l18 := v18, l19 := v19, l20 := v20) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14, KnownSymbol l15, FromField v15, KnownSymbol l16, FromField v16, KnownSymbol l17, FromField v17, KnownSymbol l18, FromField v18, KnownSymbol l19, FromField v19, KnownSymbol l20, FromField v20, KnownSymbol l21, FromField v21) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14, l15 := v15, l16 := v16, l17 := v17, l18 := v18, l19 := v19, l20 := v20, l21 := v21) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14, KnownSymbol l15, FromField v15, KnownSymbol l16, FromField v16, KnownSymbol l17, FromField v17, KnownSymbol l18, FromField v18, KnownSymbol l19, FromField v19, KnownSymbol l20, FromField v20, KnownSymbol l21, FromField v21, KnownSymbol l22, FromField v22) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14, l15 := v15, l16 := v16, l17 := v17, l18 := v18, l19 := v19, l20 := v20, l21 := v21, l22 := v22) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14, KnownSymbol l15, FromField v15, KnownSymbol l16, FromField v16, KnownSymbol l17, FromField v17, KnownSymbol l18, FromField v18, KnownSymbol l19, FromField v19, KnownSymbol l20, FromField v20, KnownSymbol l21, FromField v21, KnownSymbol l22, FromField v22, KnownSymbol l23, FromField v23) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22, (:=) l23 v23) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14, l15 := v15, l16 := v16, l17 := v17, l18 := v18, l19 := v19, l20 := v20, l21 := v21, l22 := v22, l23 := v23) # |
(KnownSymbol l1, FromField v1, KnownSymbol l2, FromField v2, KnownSymbol l3, FromField v3, KnownSymbol l4, FromField v4, KnownSymbol l5, FromField v5, KnownSymbol l6, FromField v6, KnownSymbol l7, FromField v7, KnownSymbol l8, FromField v8, KnownSymbol l9, FromField v9, KnownSymbol l10, FromField v10, KnownSymbol l11, FromField v11, KnownSymbol l12, FromField v12, KnownSymbol l13, FromField v13, KnownSymbol l14, FromField v14, KnownSymbol l15, FromField v15, KnownSymbol l16, FromField v16, KnownSymbol l17, FromField v17, KnownSymbol l18, FromField v18, KnownSymbol l19, FromField v19, KnownSymbol l20, FromField v20, KnownSymbol l21, FromField v21, KnownSymbol l22, FromField v22, KnownSymbol l23, FromField v23, KnownSymbol l24, FromField v24) => FromNamedRecord ((:=) l1 v1, (:=) l2 v2, (:=) l3 v3, (:=) l4 v4, (:=) l5 v5, (:=) l6 v6, (:=) l7 v7, (:=) l8 v8, (:=) l9 v9, (:=) l10 v10, (:=) l11 v11, (:=) l12 v12, (:=) l13 v13, (:=) l14 v14, (:=) l15 v15, (:=) l16 v16, (:=) l17 v17, (:=) l18 v18, (:=) l19 v19, (:=) l20 v20, (:=) l21 v21, (:=) l22 v22, (:=) l23 v23, (:=) l24 v24) Source # | |
Methods parseNamedRecord :: NamedRecord -> Parser (l1 := v1, l2 := v2, l3 := v3, l4 := v4, l5 := v5, l6 := v6, l7 := v7, l8 := v8, l9 := v9, l10 := v10, l11 := v11, l12 := v12, l13 := v13, l14 := v14, l15 := v15, l16 := v16, l17 := v17, l18 := v18, l19 := v19, l20 := v20, l21 := v21, l22 := v22, l23 := v23, l24 := v24) # |