Zafu/Abstract/Instances/Predef

source code:

• src/Zafu/Abstract/Instances/Predef.bosatsu

public dependencies: Bosatsu/Collection/Array, Bosatsu/Prog, Zafu/Abstract/Applicative, Zafu/Abstract/Eq, Zafu/Abstract/Foldable, Zafu/Abstract/Hash, Zafu/Abstract/Monad, Zafu/Abstract/Monoid, Zafu/Abstract/Ord, Zafu/Abstract/Semigroup, Zafu/Abstract/Traverse

Index

• Values: applicative_Option, applicative_Prog, eq_Bool, eq_Char, eq_Comparison, eq_Dict, eq_Float64, eq_Int, eq_List, eq_Option, eq_String, eq_Tuple1, eq_Tuple2, eq_Tuple3, eq_Tuple4, eq_Tuple5, eq_Tuple6, eq_Tuple7, eq_Tuple8, eq_Tuple9, eq_Tuple10, eq_Tuple11, eq_Tuple12, eq_Tuple13, eq_Tuple14, eq_Tuple15, eq_Tuple16, eq_Tuple17, eq_Tuple18, eq_Tuple19, eq_Tuple20, eq_Tuple21, eq_Tuple22, eq_Tuple23, eq_Tuple24, eq_Tuple25, eq_Tuple26, eq_Tuple27, eq_Tuple28, eq_Tuple29, eq_Tuple30, eq_Tuple31, eq_Tuple32, eq_Unit, foldable_Array, foldable_List, hash_Bool, hash_Char, hash_Comparison, hash_Dict, hash_Float64, hash_Int, hash_List, hash_Option, hash_String, hash_Tuple1, hash_Tuple2, hash_Tuple3, hash_Tuple4, hash_Tuple5, hash_Tuple6, hash_Tuple7, hash_Tuple8, hash_Tuple9, hash_Tuple10, hash_Tuple11, hash_Tuple12, hash_Tuple13, hash_Tuple14, hash_Tuple15, hash_Tuple16, hash_Tuple17, hash_Tuple18, hash_Tuple19, hash_Tuple20, hash_Tuple21, hash_Tuple22, hash_Tuple23, hash_Tuple24, hash_Tuple25, hash_Tuple26, hash_Tuple27, hash_Tuple28, hash_Tuple29, hash_Tuple30, hash_Tuple31, hash_Tuple32, hash_Unit, monad_Option, monad_Prog, monoid_Bool_and, monoid_Bool_or, monoid_Float64_add, monoid_Float64_mul, monoid_Int_add, monoid_Int_mul, monoid_List, monoid_Option, monoid_String, monoid_Tuple1, monoid_Tuple2, monoid_Tuple3, monoid_Tuple4, monoid_Tuple5, monoid_Tuple6, monoid_Tuple7, monoid_Tuple8, monoid_Tuple9, monoid_Tuple10, monoid_Tuple11, monoid_Tuple12, monoid_Tuple13, monoid_Tuple14, monoid_Tuple15, monoid_Tuple16, monoid_Tuple17, monoid_Tuple18, monoid_Tuple19, monoid_Tuple20, monoid_Tuple21, monoid_Tuple22, monoid_Tuple23, monoid_Tuple24, monoid_Tuple25, monoid_Tuple26, monoid_Tuple27, monoid_Tuple28, monoid_Tuple29, monoid_Tuple30, monoid_Tuple31, monoid_Tuple32, monoid_Unit, ord_Bool, ord_Char, ord_Comparison, ord_Dict, ord_Float64, ord_Int, ord_List, ord_Option, ord_String, ord_Tuple1, ord_Tuple2, ord_Tuple3, ord_Tuple4, ord_Tuple5, ord_Tuple6, ord_Tuple7, ord_Tuple8, ord_Tuple9, ord_Tuple10, ord_Tuple11, ord_Tuple12, ord_Tuple13, ord_Tuple14, ord_Tuple15, ord_Tuple16, ord_Tuple17, ord_Tuple18, ord_Tuple19, ord_Tuple20, ord_Tuple21, ord_Tuple22, ord_Tuple23, ord_Tuple24, ord_Tuple25, ord_Tuple26, ord_Tuple27, ord_Tuple28, ord_Tuple29, ord_Tuple30, ord_Tuple31, ord_Tuple32, ord_Unit, semigroup_Bool_and, semigroup_Bool_or, semigroup_Float64_add, semigroup_Float64_mul, semigroup_Int_add, semigroup_Int_mul, semigroup_List, semigroup_Option, semigroup_String, semigroup_Tuple1, semigroup_Tuple2, semigroup_Tuple3, semigroup_Tuple4, semigroup_Tuple5, semigroup_Tuple6, semigroup_Tuple7, semigroup_Tuple8, semigroup_Tuple9, semigroup_Tuple10, semigroup_Tuple11, semigroup_Tuple12, semigroup_Tuple13, semigroup_Tuple14, semigroup_Tuple15, semigroup_Tuple16, semigroup_Tuple17, semigroup_Tuple18, semigroup_Tuple19, semigroup_Tuple20, semigroup_Tuple21, semigroup_Tuple22, semigroup_Tuple23, semigroup_Tuple24, semigroup_Tuple25, semigroup_Tuple26, semigroup_Tuple27, semigroup_Tuple28, semigroup_Tuple29, semigroup_Tuple30, semigroup_Tuple31, semigroup_Tuple32, semigroup_Unit, traverse_Array, traverse_Option

Values

applicative_Option

references: Option, Zafu/Abstract/Applicative::Applicative

applicative_Option: Zafu/Abstract/Applicative::Applicative[Option]

applicative_Prog

references: Bosatsu/Prog::Prog, Zafu/Abstract/Applicative::Applicative

applicative_Prog: forall a: *. Zafu/Abstract/Applicative::Applicative[Bosatsu/Prog::Prog[a]]

eq_Bool

references: Bool, Zafu/Abstract/Eq::Eq

eq_Bool: Zafu/Abstract/Eq::Eq[Bool]

eq_Char

references: Char, Zafu/Abstract/Eq::Eq

eq_Char: Zafu/Abstract/Eq::Eq[Char]

eq_Comparison

references: Comparison, Zafu/Abstract/Eq::Eq

eq_Comparison: Zafu/Abstract/Eq::Eq[Comparison]

eq_Dict

references: Dict, Zafu/Abstract/Eq::Eq

def eq_Dict[a,
    b
](eq_key: Zafu/Abstract/Eq::Eq[a], eq_value: Zafu/Abstract/Eq::Eq[b]) -> Zafu/Abstract/Eq::Eq[Dict[a, b]]

eq_Float64

references: Float64, Zafu/Abstract/Eq::Eq

eq_Float64: Zafu/Abstract/Eq::Eq[Float64]

eq_Int

references: Int, Zafu/Abstract/Eq::Eq

eq_Int: Zafu/Abstract/Eq::Eq[Int]

eq_List

references: List, Zafu/Abstract/Eq::Eq

def eq_List[a](eq_item: Zafu/Abstract/Eq::Eq[a]) -> Zafu/Abstract/Eq::Eq[List[a]]

eq_Option

references: Option, Zafu/Abstract/Eq::Eq

def eq_Option[a](eq_item: Zafu/Abstract/Eq::Eq[a]) -> Zafu/Abstract/Eq::Eq[Option[a]]

eq_String

references: String, Zafu/Abstract/Eq::Eq

eq_String: Zafu/Abstract/Eq::Eq[String]

eq_Tuple1

references: Tuple1, Zafu/Abstract/Eq::Eq

def eq_Tuple1[a](eq1: Zafu/Abstract/Eq::Eq[a]) -> Zafu/Abstract/Eq::Eq[(a,)]

eq_Tuple2

references: Tuple2, Zafu/Abstract/Eq::Eq

def eq_Tuple2[a,
    b](eq1: Zafu/Abstract/Eq::Eq[a], eq2: Zafu/Abstract/Eq::Eq[b]) -> Zafu/Abstract/Eq::Eq[(a, b)]

eq_Tuple3

references: Tuple3, Zafu/Abstract/Eq::Eq

def eq_Tuple3[a,
    b,
    c
](eq1: Zafu/Abstract/Eq::Eq[a], eq2: Zafu/Abstract/Eq::Eq[b], eq3: Zafu/Abstract/Eq::Eq[c]) -> Zafu/Abstract/Eq::Eq[(a, b, c)]

eq_Tuple4

references: Tuple4, Zafu/Abstract/Eq::Eq

def eq_Tuple4[a, b, c, d](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d)]

eq_Tuple5

references: Tuple5, Zafu/Abstract/Eq::Eq

def eq_Tuple5[a, b, c, d, e](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e)]

eq_Tuple6

references: Tuple6, Zafu/Abstract/Eq::Eq

def eq_Tuple6[a, b, c, d, e, f](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f)]

eq_Tuple7

references: Tuple7, Zafu/Abstract/Eq::Eq

def eq_Tuple7[a, b, c, d, e, f, g](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g)]

eq_Tuple8

references: Tuple8, Zafu/Abstract/Eq::Eq

def eq_Tuple8[a, b, c, d, e, f, g, h](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h)]

eq_Tuple9

references: Tuple9, Zafu/Abstract/Eq::Eq

def eq_Tuple9[a, b, c, d, e, f, g, h, i](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i)]

eq_Tuple10

references: Tuple10, Zafu/Abstract/Eq::Eq

def eq_Tuple10[a, b, c, d, e, f, g, h, i, j](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j)]

eq_Tuple11

references: Tuple11, Zafu/Abstract/Eq::Eq

def eq_Tuple11[a, b, c, d, e, f, g, h, i, j, k](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k)]

eq_Tuple12

references: Tuple12, Zafu/Abstract/Eq::Eq

def eq_Tuple12[a, b, c, d, e, f, g, h, i, j, k, l](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l)]

eq_Tuple13

references: Tuple13, Zafu/Abstract/Eq::Eq

def eq_Tuple13[a, b, c, d, e, f, g, h, i, j, k, l, m](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m)]

eq_Tuple14

references: Tuple14, Zafu/Abstract/Eq::Eq

def eq_Tuple14[a, b, c, d, e, f, g, h, i, j, k, l, m, n](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n)]

eq_Tuple15

references: Tuple15, Zafu/Abstract/Eq::Eq

def eq_Tuple15[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)]

eq_Tuple16

references: Tuple16, Zafu/Abstract/Eq::Eq

def eq_Tuple16[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)]

eq_Tuple17

references: Tuple17, Zafu/Abstract/Eq::Eq

def eq_Tuple17[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)]

eq_Tuple18

references: Tuple18, Zafu/Abstract/Eq::Eq

def eq_Tuple18[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)]

eq_Tuple19

references: Tuple19, Zafu/Abstract/Eq::Eq

def eq_Tuple19[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)]

eq_Tuple20

references: Tuple20, Zafu/Abstract/Eq::Eq

def eq_Tuple20[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)]

eq_Tuple21

references: Tuple21, Zafu/Abstract/Eq::Eq

def eq_Tuple21[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)]

eq_Tuple22

references: Tuple22, Zafu/Abstract/Eq::Eq

def eq_Tuple22[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)]

eq_Tuple23

references: Tuple23, Zafu/Abstract/Eq::Eq

def eq_Tuple23[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v],
    eq23: Zafu/Abstract/Eq::Eq[w]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)]

eq_Tuple24

references: Tuple24, Zafu/Abstract/Eq::Eq

def eq_Tuple24[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v],
    eq23: Zafu/Abstract/Eq::Eq[w],
    eq24: Zafu/Abstract/Eq::Eq[x]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)]

eq_Tuple25

references: Tuple25, Zafu/Abstract/Eq::Eq

def eq_Tuple25[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v],
    eq23: Zafu/Abstract/Eq::Eq[w],
    eq24: Zafu/Abstract/Eq::Eq[x],
    eq25: Zafu/Abstract/Eq::Eq[y]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)]

eq_Tuple26

references: Tuple26, Zafu/Abstract/Eq::Eq

def eq_Tuple26[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v],
    eq23: Zafu/Abstract/Eq::Eq[w],
    eq24: Zafu/Abstract/Eq::Eq[x],
    eq25: Zafu/Abstract/Eq::Eq[y],
    eq26: Zafu/Abstract/Eq::Eq[z]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z)]

eq_Tuple27

references: Tuple27, Zafu/Abstract/Eq::Eq

def eq_Tuple27[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v],
    eq23: Zafu/Abstract/Eq::Eq[w],
    eq24: Zafu/Abstract/Eq::Eq[x],
    eq25: Zafu/Abstract/Eq::Eq[y],
    eq26: Zafu/Abstract/Eq::Eq[z],
    eq27: Zafu/Abstract/Eq::Eq[a0]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0)]

eq_Tuple28

references: Tuple28, Zafu/Abstract/Eq::Eq

def eq_Tuple28[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v],
    eq23: Zafu/Abstract/Eq::Eq[w],
    eq24: Zafu/Abstract/Eq::Eq[x],
    eq25: Zafu/Abstract/Eq::Eq[y],
    eq26: Zafu/Abstract/Eq::Eq[z],
    eq27: Zafu/Abstract/Eq::Eq[a0],
    eq28: Zafu/Abstract/Eq::Eq[b0]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0)]

eq_Tuple29

references: Tuple29, Zafu/Abstract/Eq::Eq

def eq_Tuple29[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v],
    eq23: Zafu/Abstract/Eq::Eq[w],
    eq24: Zafu/Abstract/Eq::Eq[x],
    eq25: Zafu/Abstract/Eq::Eq[y],
    eq26: Zafu/Abstract/Eq::Eq[z],
    eq27: Zafu/Abstract/Eq::Eq[a0],
    eq28: Zafu/Abstract/Eq::Eq[b0],
    eq29: Zafu/Abstract/Eq::Eq[c0]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0)]

eq_Tuple30

references: Tuple30, Zafu/Abstract/Eq::Eq

def eq_Tuple30[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v],
    eq23: Zafu/Abstract/Eq::Eq[w],
    eq24: Zafu/Abstract/Eq::Eq[x],
    eq25: Zafu/Abstract/Eq::Eq[y],
    eq26: Zafu/Abstract/Eq::Eq[z],
    eq27: Zafu/Abstract/Eq::Eq[a0],
    eq28: Zafu/Abstract/Eq::Eq[b0],
    eq29: Zafu/Abstract/Eq::Eq[c0],
    eq30: Zafu/Abstract/Eq::Eq[d0]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0)]

eq_Tuple31

references: Tuple31, Zafu/Abstract/Eq::Eq

def eq_Tuple31[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0,
    e0](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v],
    eq23: Zafu/Abstract/Eq::Eq[w],
    eq24: Zafu/Abstract/Eq::Eq[x],
    eq25: Zafu/Abstract/Eq::Eq[y],
    eq26: Zafu/Abstract/Eq::Eq[z],
    eq27: Zafu/Abstract/Eq::Eq[a0],
    eq28: Zafu/Abstract/Eq::Eq[b0],
    eq29: Zafu/Abstract/Eq::Eq[c0],
    eq30: Zafu/Abstract/Eq::Eq[d0],
    eq31: Zafu/Abstract/Eq::Eq[e0]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0, e0)]

eq_Tuple32

references: Tuple32, Zafu/Abstract/Eq::Eq

def eq_Tuple32[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0,
    e0,
    f0](
    eq1: Zafu/Abstract/Eq::Eq[a],
    eq2: Zafu/Abstract/Eq::Eq[b],
    eq3: Zafu/Abstract/Eq::Eq[c],
    eq4: Zafu/Abstract/Eq::Eq[d],
    eq5: Zafu/Abstract/Eq::Eq[e],
    eq6: Zafu/Abstract/Eq::Eq[f],
    eq7: Zafu/Abstract/Eq::Eq[g],
    eq8: Zafu/Abstract/Eq::Eq[h],
    eq9: Zafu/Abstract/Eq::Eq[i],
    eq10: Zafu/Abstract/Eq::Eq[j],
    eq11: Zafu/Abstract/Eq::Eq[k],
    eq12: Zafu/Abstract/Eq::Eq[l],
    eq13: Zafu/Abstract/Eq::Eq[m],
    eq14: Zafu/Abstract/Eq::Eq[n],
    eq15: Zafu/Abstract/Eq::Eq[o],
    eq16: Zafu/Abstract/Eq::Eq[p],
    eq17: Zafu/Abstract/Eq::Eq[q],
    eq18: Zafu/Abstract/Eq::Eq[r],
    eq19: Zafu/Abstract/Eq::Eq[s],
    eq20: Zafu/Abstract/Eq::Eq[t],
    eq21: Zafu/Abstract/Eq::Eq[u],
    eq22: Zafu/Abstract/Eq::Eq[v],
    eq23: Zafu/Abstract/Eq::Eq[w],
    eq24: Zafu/Abstract/Eq::Eq[x],
    eq25: Zafu/Abstract/Eq::Eq[y],
    eq26: Zafu/Abstract/Eq::Eq[z],
    eq27: Zafu/Abstract/Eq::Eq[a0],
    eq28: Zafu/Abstract/Eq::Eq[b0],
    eq29: Zafu/Abstract/Eq::Eq[c0],
    eq30: Zafu/Abstract/Eq::Eq[d0],
    eq31: Zafu/Abstract/Eq::Eq[e0],
    eq32: Zafu/Abstract/Eq::Eq[f0]
) -> Zafu/Abstract/Eq::Eq[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0, e0, f0)]

eq_Unit

references: Unit, Zafu/Abstract/Eq::Eq

eq_Unit: Zafu/Abstract/Eq::Eq[()]

foldable_Array

references: Bosatsu/Collection/Array::Array, Zafu/Abstract/Foldable::Foldable

foldable_Array: Zafu/Abstract/Foldable::Foldable[Bosatsu/Collection/Array::Array]

foldable_List

references: List, Zafu/Abstract/Foldable::Foldable

foldable_List: Zafu/Abstract/Foldable::Foldable[List]

hash_Bool

references: Bool, Zafu/Abstract/Hash::Hash

hash_Bool: Zafu/Abstract/Hash::Hash[Bool]

hash_Char

references: Char, Zafu/Abstract/Hash::Hash

hash_Char: Zafu/Abstract/Hash::Hash[Char]

hash_Comparison

references: Comparison, Zafu/Abstract/Hash::Hash

hash_Comparison: Zafu/Abstract/Hash::Hash[Comparison]

hash_Dict

references: Dict, Zafu/Abstract/Hash::Hash

def hash_Dict[a,
    b
](hash_key: Zafu/Abstract/Hash::Hash[a], hash_value: Zafu/Abstract/Hash::Hash[b]) -> Zafu/Abstract/Hash::Hash[Dict[a, b]]

hash_Float64

references: Float64, Zafu/Abstract/Hash::Hash

hash_Float64: Zafu/Abstract/Hash::Hash[Float64]

hash_Int

references: Int, Zafu/Abstract/Hash::Hash

hash_Int: Zafu/Abstract/Hash::Hash[Int]

hash_List

references: List, Zafu/Abstract/Hash::Hash

def hash_List[a](hash_item: Zafu/Abstract/Hash::Hash[a]) -> Zafu/Abstract/Hash::Hash[List[a]]

hash_Option

references: Option, Zafu/Abstract/Hash::Hash

def hash_Option[a](hash_item: Zafu/Abstract/Hash::Hash[a]) -> Zafu/Abstract/Hash::Hash[Option[a]]

hash_String

references: String, Zafu/Abstract/Hash::Hash

hash_String: Zafu/Abstract/Hash::Hash[String]

hash_Tuple1

references: Tuple1, Zafu/Abstract/Hash::Hash

def hash_Tuple1[a](hash1: Zafu/Abstract/Hash::Hash[a]) -> Zafu/Abstract/Hash::Hash[(a,)]

hash_Tuple2

references: Tuple2, Zafu/Abstract/Hash::Hash

def hash_Tuple2[a,
    b
](hash1: Zafu/Abstract/Hash::Hash[a], hash2: Zafu/Abstract/Hash::Hash[b]) -> Zafu/Abstract/Hash::Hash[(a, b)]

hash_Tuple3

references: Tuple3, Zafu/Abstract/Hash::Hash

def hash_Tuple3[a, b, c](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c]
) -> Zafu/Abstract/Hash::Hash[(a, b, c)]

hash_Tuple4

references: Tuple4, Zafu/Abstract/Hash::Hash

def hash_Tuple4[a, b, c, d](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d)]

hash_Tuple5

references: Tuple5, Zafu/Abstract/Hash::Hash

def hash_Tuple5[a, b, c, d, e](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e)]

hash_Tuple6

references: Tuple6, Zafu/Abstract/Hash::Hash

def hash_Tuple6[a, b, c, d, e, f](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f)]

hash_Tuple7

references: Tuple7, Zafu/Abstract/Hash::Hash

def hash_Tuple7[a, b, c, d, e, f, g](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g)]

hash_Tuple8

references: Tuple8, Zafu/Abstract/Hash::Hash

def hash_Tuple8[a, b, c, d, e, f, g, h](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h)]

hash_Tuple9

references: Tuple9, Zafu/Abstract/Hash::Hash

def hash_Tuple9[a, b, c, d, e, f, g, h, i](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i)]

hash_Tuple10

references: Tuple10, Zafu/Abstract/Hash::Hash

def hash_Tuple10[a, b, c, d, e, f, g, h, i, j](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j)]

hash_Tuple11

references: Tuple11, Zafu/Abstract/Hash::Hash

def hash_Tuple11[a, b, c, d, e, f, g, h, i, j, k](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k)]

hash_Tuple12

references: Tuple12, Zafu/Abstract/Hash::Hash

def hash_Tuple12[a, b, c, d, e, f, g, h, i, j, k, l](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l)]

hash_Tuple13

references: Tuple13, Zafu/Abstract/Hash::Hash

def hash_Tuple13[a, b, c, d, e, f, g, h, i, j, k, l, m](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m)]

hash_Tuple14

references: Tuple14, Zafu/Abstract/Hash::Hash

def hash_Tuple14[a, b, c, d, e, f, g, h, i, j, k, l, m, n](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n)]

hash_Tuple15

references: Tuple15, Zafu/Abstract/Hash::Hash

def hash_Tuple15[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)]

hash_Tuple16

references: Tuple16, Zafu/Abstract/Hash::Hash

def hash_Tuple16[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)]

hash_Tuple17

references: Tuple17, Zafu/Abstract/Hash::Hash

def hash_Tuple17[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)]

hash_Tuple18

references: Tuple18, Zafu/Abstract/Hash::Hash

def hash_Tuple18[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)]

hash_Tuple19

references: Tuple19, Zafu/Abstract/Hash::Hash

def hash_Tuple19[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)]

hash_Tuple20

references: Tuple20, Zafu/Abstract/Hash::Hash

def hash_Tuple20[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)]

hash_Tuple21

references: Tuple21, Zafu/Abstract/Hash::Hash

def hash_Tuple21[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)]

hash_Tuple22

references: Tuple22, Zafu/Abstract/Hash::Hash

def hash_Tuple22[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)]

hash_Tuple23

references: Tuple23, Zafu/Abstract/Hash::Hash

def hash_Tuple23[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v],
    hash23: Zafu/Abstract/Hash::Hash[w]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)]

hash_Tuple24

references: Tuple24, Zafu/Abstract/Hash::Hash

def hash_Tuple24[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v],
    hash23: Zafu/Abstract/Hash::Hash[w],
    hash24: Zafu/Abstract/Hash::Hash[x]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)]

hash_Tuple25

references: Tuple25, Zafu/Abstract/Hash::Hash

def hash_Tuple25[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v],
    hash23: Zafu/Abstract/Hash::Hash[w],
    hash24: Zafu/Abstract/Hash::Hash[x],
    hash25: Zafu/Abstract/Hash::Hash[y]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)]

hash_Tuple26

references: Tuple26, Zafu/Abstract/Hash::Hash

def hash_Tuple26[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v],
    hash23: Zafu/Abstract/Hash::Hash[w],
    hash24: Zafu/Abstract/Hash::Hash[x],
    hash25: Zafu/Abstract/Hash::Hash[y],
    hash26: Zafu/Abstract/Hash::Hash[z]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z)]

hash_Tuple27

references: Tuple27, Zafu/Abstract/Hash::Hash

def hash_Tuple27[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v],
    hash23: Zafu/Abstract/Hash::Hash[w],
    hash24: Zafu/Abstract/Hash::Hash[x],
    hash25: Zafu/Abstract/Hash::Hash[y],
    hash26: Zafu/Abstract/Hash::Hash[z],
    hash27: Zafu/Abstract/Hash::Hash[a0]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0)]

hash_Tuple28

references: Tuple28, Zafu/Abstract/Hash::Hash

def hash_Tuple28[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v],
    hash23: Zafu/Abstract/Hash::Hash[w],
    hash24: Zafu/Abstract/Hash::Hash[x],
    hash25: Zafu/Abstract/Hash::Hash[y],
    hash26: Zafu/Abstract/Hash::Hash[z],
    hash27: Zafu/Abstract/Hash::Hash[a0],
    hash28: Zafu/Abstract/Hash::Hash[b0]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0)]

hash_Tuple29

references: Tuple29, Zafu/Abstract/Hash::Hash

def hash_Tuple29[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v],
    hash23: Zafu/Abstract/Hash::Hash[w],
    hash24: Zafu/Abstract/Hash::Hash[x],
    hash25: Zafu/Abstract/Hash::Hash[y],
    hash26: Zafu/Abstract/Hash::Hash[z],
    hash27: Zafu/Abstract/Hash::Hash[a0],
    hash28: Zafu/Abstract/Hash::Hash[b0],
    hash29: Zafu/Abstract/Hash::Hash[c0]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0)]

hash_Tuple30

references: Tuple30, Zafu/Abstract/Hash::Hash

def hash_Tuple30[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v],
    hash23: Zafu/Abstract/Hash::Hash[w],
    hash24: Zafu/Abstract/Hash::Hash[x],
    hash25: Zafu/Abstract/Hash::Hash[y],
    hash26: Zafu/Abstract/Hash::Hash[z],
    hash27: Zafu/Abstract/Hash::Hash[a0],
    hash28: Zafu/Abstract/Hash::Hash[b0],
    hash29: Zafu/Abstract/Hash::Hash[c0],
    hash30: Zafu/Abstract/Hash::Hash[d0]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0)]

hash_Tuple31

references: Tuple31, Zafu/Abstract/Hash::Hash

def hash_Tuple31[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0,
    e0](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v],
    hash23: Zafu/Abstract/Hash::Hash[w],
    hash24: Zafu/Abstract/Hash::Hash[x],
    hash25: Zafu/Abstract/Hash::Hash[y],
    hash26: Zafu/Abstract/Hash::Hash[z],
    hash27: Zafu/Abstract/Hash::Hash[a0],
    hash28: Zafu/Abstract/Hash::Hash[b0],
    hash29: Zafu/Abstract/Hash::Hash[c0],
    hash30: Zafu/Abstract/Hash::Hash[d0],
    hash31: Zafu/Abstract/Hash::Hash[e0]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0, e0)]

hash_Tuple32

references: Tuple32, Zafu/Abstract/Hash::Hash

def hash_Tuple32[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0,
    e0,
    f0](
    hash1: Zafu/Abstract/Hash::Hash[a],
    hash2: Zafu/Abstract/Hash::Hash[b],
    hash3: Zafu/Abstract/Hash::Hash[c],
    hash4: Zafu/Abstract/Hash::Hash[d],
    hash5: Zafu/Abstract/Hash::Hash[e],
    hash6: Zafu/Abstract/Hash::Hash[f],
    hash7: Zafu/Abstract/Hash::Hash[g],
    hash8: Zafu/Abstract/Hash::Hash[h],
    hash9: Zafu/Abstract/Hash::Hash[i],
    hash10: Zafu/Abstract/Hash::Hash[j],
    hash11: Zafu/Abstract/Hash::Hash[k],
    hash12: Zafu/Abstract/Hash::Hash[l],
    hash13: Zafu/Abstract/Hash::Hash[m],
    hash14: Zafu/Abstract/Hash::Hash[n],
    hash15: Zafu/Abstract/Hash::Hash[o],
    hash16: Zafu/Abstract/Hash::Hash[p],
    hash17: Zafu/Abstract/Hash::Hash[q],
    hash18: Zafu/Abstract/Hash::Hash[r],
    hash19: Zafu/Abstract/Hash::Hash[s],
    hash20: Zafu/Abstract/Hash::Hash[t],
    hash21: Zafu/Abstract/Hash::Hash[u],
    hash22: Zafu/Abstract/Hash::Hash[v],
    hash23: Zafu/Abstract/Hash::Hash[w],
    hash24: Zafu/Abstract/Hash::Hash[x],
    hash25: Zafu/Abstract/Hash::Hash[y],
    hash26: Zafu/Abstract/Hash::Hash[z],
    hash27: Zafu/Abstract/Hash::Hash[a0],
    hash28: Zafu/Abstract/Hash::Hash[b0],
    hash29: Zafu/Abstract/Hash::Hash[c0],
    hash30: Zafu/Abstract/Hash::Hash[d0],
    hash31: Zafu/Abstract/Hash::Hash[e0],
    hash32: Zafu/Abstract/Hash::Hash[f0]
) -> Zafu/Abstract/Hash::Hash[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0, e0, f0)]

hash_Unit

references: Unit, Zafu/Abstract/Hash::Hash

hash_Unit: Zafu/Abstract/Hash::Hash[()]

monad_Option

references: Option, Zafu/Abstract/Monad::Monad

monad_Option: Zafu/Abstract/Monad::Monad[Option]

monad_Prog

references: Bosatsu/Prog::Prog, Zafu/Abstract/Monad::Monad

monad_Prog: forall a: *. Zafu/Abstract/Monad::Monad[Bosatsu/Prog::Prog[a]]

monoid_Bool_and

references: Bool, Zafu/Abstract/Monoid::Monoid

monoid_Bool_and: Zafu/Abstract/Monoid::Monoid[Bool]

monoid_Bool_or

references: Bool, Zafu/Abstract/Monoid::Monoid

monoid_Bool_or: Zafu/Abstract/Monoid::Monoid[Bool]

monoid_Float64_add

references: Float64, Zafu/Abstract/Monoid::Monoid

monoid_Float64_add: Zafu/Abstract/Monoid::Monoid[Float64]

monoid_Float64_mul

references: Float64, Zafu/Abstract/Monoid::Monoid

monoid_Float64_mul: Zafu/Abstract/Monoid::Monoid[Float64]

monoid_Int_add

references: Int, Zafu/Abstract/Monoid::Monoid

monoid_Int_add: Zafu/Abstract/Monoid::Monoid[Int]

monoid_Int_mul

references: Int, Zafu/Abstract/Monoid::Monoid

monoid_Int_mul: Zafu/Abstract/Monoid::Monoid[Int]

monoid_List

references: List, Zafu/Abstract/Monoid::Monoid

monoid_List: forall a: *. Zafu/Abstract/Monoid::Monoid[List[a]]

monoid_Option

references: Option, Zafu/Abstract/Monoid::Monoid, Zafu/Abstract/Semigroup::Semigroup

def monoid_Option[a
](semigroup_item: Zafu/Abstract/Semigroup::Semigroup[a]) -> Zafu/Abstract/Monoid::Monoid[Option[a]]

monoid_String

references: String, Zafu/Abstract/Monoid::Monoid

monoid_String: Zafu/Abstract/Monoid::Monoid[String]

monoid_Tuple1

references: Tuple1, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple1[a](monoid1: Zafu/Abstract/Monoid::Monoid[a]) -> Zafu/Abstract/Monoid::Monoid[(a,)]

monoid_Tuple2

references: Tuple2, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple2[a,
    b
](monoid1: Zafu/Abstract/Monoid::Monoid[a], monoid2: Zafu/Abstract/Monoid::Monoid[b]) -> Zafu/Abstract/Monoid::Monoid[(a, b)]

monoid_Tuple3

references: Tuple3, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple3[a, b, c](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c)]

monoid_Tuple4

references: Tuple4, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple4[a, b, c, d](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d)]

monoid_Tuple5

references: Tuple5, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple5[a, b, c, d, e](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e)]

monoid_Tuple6

references: Tuple6, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple6[a, b, c, d, e, f](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f)]

monoid_Tuple7

references: Tuple7, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple7[a, b, c, d, e, f, g](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g)]

monoid_Tuple8

references: Tuple8, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple8[a, b, c, d, e, f, g, h](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h)]

monoid_Tuple9

references: Tuple9, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple9[a, b, c, d, e, f, g, h, i](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i)]

monoid_Tuple10

references: Tuple10, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple10[a, b, c, d, e, f, g, h, i, j](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j)]

monoid_Tuple11

references: Tuple11, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple11[a, b, c, d, e, f, g, h, i, j, k](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k)]

monoid_Tuple12

references: Tuple12, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple12[a, b, c, d, e, f, g, h, i, j, k, l](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l)]

monoid_Tuple13

references: Tuple13, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple13[a, b, c, d, e, f, g, h, i, j, k, l, m](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m)]

monoid_Tuple14

references: Tuple14, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple14[a, b, c, d, e, f, g, h, i, j, k, l, m, n](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n)]

monoid_Tuple15

references: Tuple15, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple15[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)]

monoid_Tuple16

references: Tuple16, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple16[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)]

monoid_Tuple17

references: Tuple17, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple17[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)]

monoid_Tuple18

references: Tuple18, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple18[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)]

monoid_Tuple19

references: Tuple19, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple19[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)]

monoid_Tuple20

references: Tuple20, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple20[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)]

monoid_Tuple21

references: Tuple21, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple21[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)]

monoid_Tuple22

references: Tuple22, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple22[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)]

monoid_Tuple23

references: Tuple23, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple23[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v],
    monoid23: Zafu/Abstract/Monoid::Monoid[w]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)]

monoid_Tuple24

references: Tuple24, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple24[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v],
    monoid23: Zafu/Abstract/Monoid::Monoid[w],
    monoid24: Zafu/Abstract/Monoid::Monoid[x]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)]

monoid_Tuple25

references: Tuple25, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple25[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v],
    monoid23: Zafu/Abstract/Monoid::Monoid[w],
    monoid24: Zafu/Abstract/Monoid::Monoid[x],
    monoid25: Zafu/Abstract/Monoid::Monoid[y]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)]

monoid_Tuple26

references: Tuple26, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple26[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v],
    monoid23: Zafu/Abstract/Monoid::Monoid[w],
    monoid24: Zafu/Abstract/Monoid::Monoid[x],
    monoid25: Zafu/Abstract/Monoid::Monoid[y],
    monoid26: Zafu/Abstract/Monoid::Monoid[z]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z)]

monoid_Tuple27

references: Tuple27, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple27[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v],
    monoid23: Zafu/Abstract/Monoid::Monoid[w],
    monoid24: Zafu/Abstract/Monoid::Monoid[x],
    monoid25: Zafu/Abstract/Monoid::Monoid[y],
    monoid26: Zafu/Abstract/Monoid::Monoid[z],
    monoid27: Zafu/Abstract/Monoid::Monoid[a0]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0)]

monoid_Tuple28

references: Tuple28, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple28[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v],
    monoid23: Zafu/Abstract/Monoid::Monoid[w],
    monoid24: Zafu/Abstract/Monoid::Monoid[x],
    monoid25: Zafu/Abstract/Monoid::Monoid[y],
    monoid26: Zafu/Abstract/Monoid::Monoid[z],
    monoid27: Zafu/Abstract/Monoid::Monoid[a0],
    monoid28: Zafu/Abstract/Monoid::Monoid[b0]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0)]

monoid_Tuple29

references: Tuple29, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple29[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v],
    monoid23: Zafu/Abstract/Monoid::Monoid[w],
    monoid24: Zafu/Abstract/Monoid::Monoid[x],
    monoid25: Zafu/Abstract/Monoid::Monoid[y],
    monoid26: Zafu/Abstract/Monoid::Monoid[z],
    monoid27: Zafu/Abstract/Monoid::Monoid[a0],
    monoid28: Zafu/Abstract/Monoid::Monoid[b0],
    monoid29: Zafu/Abstract/Monoid::Monoid[c0]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0)]

monoid_Tuple30

references: Tuple30, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple30[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v],
    monoid23: Zafu/Abstract/Monoid::Monoid[w],
    monoid24: Zafu/Abstract/Monoid::Monoid[x],
    monoid25: Zafu/Abstract/Monoid::Monoid[y],
    monoid26: Zafu/Abstract/Monoid::Monoid[z],
    monoid27: Zafu/Abstract/Monoid::Monoid[a0],
    monoid28: Zafu/Abstract/Monoid::Monoid[b0],
    monoid29: Zafu/Abstract/Monoid::Monoid[c0],
    monoid30: Zafu/Abstract/Monoid::Monoid[d0]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0)]

monoid_Tuple31

references: Tuple31, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple31[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0,
    e0](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v],
    monoid23: Zafu/Abstract/Monoid::Monoid[w],
    monoid24: Zafu/Abstract/Monoid::Monoid[x],
    monoid25: Zafu/Abstract/Monoid::Monoid[y],
    monoid26: Zafu/Abstract/Monoid::Monoid[z],
    monoid27: Zafu/Abstract/Monoid::Monoid[a0],
    monoid28: Zafu/Abstract/Monoid::Monoid[b0],
    monoid29: Zafu/Abstract/Monoid::Monoid[c0],
    monoid30: Zafu/Abstract/Monoid::Monoid[d0],
    monoid31: Zafu/Abstract/Monoid::Monoid[e0]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0, e0)]

monoid_Tuple32

references: Tuple32, Zafu/Abstract/Monoid::Monoid

def monoid_Tuple32[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0,
    e0,
    f0](
    monoid1: Zafu/Abstract/Monoid::Monoid[a],
    monoid2: Zafu/Abstract/Monoid::Monoid[b],
    monoid3: Zafu/Abstract/Monoid::Monoid[c],
    monoid4: Zafu/Abstract/Monoid::Monoid[d],
    monoid5: Zafu/Abstract/Monoid::Monoid[e],
    monoid6: Zafu/Abstract/Monoid::Monoid[f],
    monoid7: Zafu/Abstract/Monoid::Monoid[g],
    monoid8: Zafu/Abstract/Monoid::Monoid[h],
    monoid9: Zafu/Abstract/Monoid::Monoid[i],
    monoid10: Zafu/Abstract/Monoid::Monoid[j],
    monoid11: Zafu/Abstract/Monoid::Monoid[k],
    monoid12: Zafu/Abstract/Monoid::Monoid[l],
    monoid13: Zafu/Abstract/Monoid::Monoid[m],
    monoid14: Zafu/Abstract/Monoid::Monoid[n],
    monoid15: Zafu/Abstract/Monoid::Monoid[o],
    monoid16: Zafu/Abstract/Monoid::Monoid[p],
    monoid17: Zafu/Abstract/Monoid::Monoid[q],
    monoid18: Zafu/Abstract/Monoid::Monoid[r],
    monoid19: Zafu/Abstract/Monoid::Monoid[s],
    monoid20: Zafu/Abstract/Monoid::Monoid[t],
    monoid21: Zafu/Abstract/Monoid::Monoid[u],
    monoid22: Zafu/Abstract/Monoid::Monoid[v],
    monoid23: Zafu/Abstract/Monoid::Monoid[w],
    monoid24: Zafu/Abstract/Monoid::Monoid[x],
    monoid25: Zafu/Abstract/Monoid::Monoid[y],
    monoid26: Zafu/Abstract/Monoid::Monoid[z],
    monoid27: Zafu/Abstract/Monoid::Monoid[a0],
    monoid28: Zafu/Abstract/Monoid::Monoid[b0],
    monoid29: Zafu/Abstract/Monoid::Monoid[c0],
    monoid30: Zafu/Abstract/Monoid::Monoid[d0],
    monoid31: Zafu/Abstract/Monoid::Monoid[e0],
    monoid32: Zafu/Abstract/Monoid::Monoid[f0]
) -> Zafu/Abstract/Monoid::Monoid[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0, e0, f0)]

monoid_Unit

references: Unit, Zafu/Abstract/Monoid::Monoid

monoid_Unit: Zafu/Abstract/Monoid::Monoid[()]

ord_Bool

references: Bool, Zafu/Abstract/Ord::Ord

ord_Bool: Zafu/Abstract/Ord::Ord[Bool]

ord_Char

references: Char, Zafu/Abstract/Ord::Ord

ord_Char: Zafu/Abstract/Ord::Ord[Char]

ord_Comparison

references: Comparison, Zafu/Abstract/Ord::Ord

ord_Comparison: Zafu/Abstract/Ord::Ord[Comparison]

ord_Dict

references: Dict, Zafu/Abstract/Ord::Ord

def ord_Dict[a,
    b
](ord_key: Zafu/Abstract/Ord::Ord[a], ord_value: Zafu/Abstract/Ord::Ord[b]) -> Zafu/Abstract/Ord::Ord[Dict[a, b]]

ord_Float64

references: Float64, Zafu/Abstract/Ord::Ord

ord_Float64: Zafu/Abstract/Ord::Ord[Float64]

ord_Int

references: Int, Zafu/Abstract/Ord::Ord

ord_Int: Zafu/Abstract/Ord::Ord[Int]

ord_List

references: List, Zafu/Abstract/Ord::Ord

def ord_List[a](ord_item: Zafu/Abstract/Ord::Ord[a]) -> Zafu/Abstract/Ord::Ord[List[a]]

ord_Option

references: Option, Zafu/Abstract/Ord::Ord

def ord_Option[a](ord_item: Zafu/Abstract/Ord::Ord[a]) -> Zafu/Abstract/Ord::Ord[Option[a]]

ord_String

references: String, Zafu/Abstract/Ord::Ord

ord_String: Zafu/Abstract/Ord::Ord[String]

ord_Tuple1

references: Tuple1, Zafu/Abstract/Ord::Ord

def ord_Tuple1[a](ord1: Zafu/Abstract/Ord::Ord[a]) -> Zafu/Abstract/Ord::Ord[(a,)]

ord_Tuple2

references: Tuple2, Zafu/Abstract/Ord::Ord

def ord_Tuple2[a,
    b
](ord1: Zafu/Abstract/Ord::Ord[a], ord2: Zafu/Abstract/Ord::Ord[b]) -> Zafu/Abstract/Ord::Ord[(a, b)]

ord_Tuple3

references: Tuple3, Zafu/Abstract/Ord::Ord

def ord_Tuple3[a,
    b,
    c
](ord1: Zafu/Abstract/Ord::Ord[a], ord2: Zafu/Abstract/Ord::Ord[b], ord3: Zafu/Abstract/Ord::Ord[c]) -> Zafu/Abstract/Ord::Ord[(a, b, c)]

ord_Tuple4

references: Tuple4, Zafu/Abstract/Ord::Ord

def ord_Tuple4[a, b, c, d](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d)]

ord_Tuple5

references: Tuple5, Zafu/Abstract/Ord::Ord

def ord_Tuple5[a, b, c, d, e](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e)]

ord_Tuple6

references: Tuple6, Zafu/Abstract/Ord::Ord

def ord_Tuple6[a, b, c, d, e, f](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f)]

ord_Tuple7

references: Tuple7, Zafu/Abstract/Ord::Ord

def ord_Tuple7[a, b, c, d, e, f, g](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g)]

ord_Tuple8

references: Tuple8, Zafu/Abstract/Ord::Ord

def ord_Tuple8[a, b, c, d, e, f, g, h](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h)]

ord_Tuple9

references: Tuple9, Zafu/Abstract/Ord::Ord

def ord_Tuple9[a, b, c, d, e, f, g, h, i](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i)]

ord_Tuple10

references: Tuple10, Zafu/Abstract/Ord::Ord

def ord_Tuple10[a, b, c, d, e, f, g, h, i, j](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j)]

ord_Tuple11

references: Tuple11, Zafu/Abstract/Ord::Ord

def ord_Tuple11[a, b, c, d, e, f, g, h, i, j, k](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k)]

ord_Tuple12

references: Tuple12, Zafu/Abstract/Ord::Ord

def ord_Tuple12[a, b, c, d, e, f, g, h, i, j, k, l](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l)]

ord_Tuple13

references: Tuple13, Zafu/Abstract/Ord::Ord

def ord_Tuple13[a, b, c, d, e, f, g, h, i, j, k, l, m](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m)]

ord_Tuple14

references: Tuple14, Zafu/Abstract/Ord::Ord

def ord_Tuple14[a, b, c, d, e, f, g, h, i, j, k, l, m, n](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n)]

ord_Tuple15

references: Tuple15, Zafu/Abstract/Ord::Ord

def ord_Tuple15[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)]

ord_Tuple16

references: Tuple16, Zafu/Abstract/Ord::Ord

def ord_Tuple16[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)]

ord_Tuple17

references: Tuple17, Zafu/Abstract/Ord::Ord

def ord_Tuple17[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)]

ord_Tuple18

references: Tuple18, Zafu/Abstract/Ord::Ord

def ord_Tuple18[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)]

ord_Tuple19

references: Tuple19, Zafu/Abstract/Ord::Ord

def ord_Tuple19[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)]

ord_Tuple20

references: Tuple20, Zafu/Abstract/Ord::Ord

def ord_Tuple20[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)]

ord_Tuple21

references: Tuple21, Zafu/Abstract/Ord::Ord

def ord_Tuple21[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)]

ord_Tuple22

references: Tuple22, Zafu/Abstract/Ord::Ord

def ord_Tuple22[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)]

ord_Tuple23

references: Tuple23, Zafu/Abstract/Ord::Ord

def ord_Tuple23[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v],
    ord23: Zafu/Abstract/Ord::Ord[w]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)]

ord_Tuple24

references: Tuple24, Zafu/Abstract/Ord::Ord

def ord_Tuple24[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v],
    ord23: Zafu/Abstract/Ord::Ord[w],
    ord24: Zafu/Abstract/Ord::Ord[x]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)]

ord_Tuple25

references: Tuple25, Zafu/Abstract/Ord::Ord

def ord_Tuple25[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v],
    ord23: Zafu/Abstract/Ord::Ord[w],
    ord24: Zafu/Abstract/Ord::Ord[x],
    ord25: Zafu/Abstract/Ord::Ord[y]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)]

ord_Tuple26

references: Tuple26, Zafu/Abstract/Ord::Ord

def ord_Tuple26[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v],
    ord23: Zafu/Abstract/Ord::Ord[w],
    ord24: Zafu/Abstract/Ord::Ord[x],
    ord25: Zafu/Abstract/Ord::Ord[y],
    ord26: Zafu/Abstract/Ord::Ord[z]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z)]

ord_Tuple27

references: Tuple27, Zafu/Abstract/Ord::Ord

def ord_Tuple27[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v],
    ord23: Zafu/Abstract/Ord::Ord[w],
    ord24: Zafu/Abstract/Ord::Ord[x],
    ord25: Zafu/Abstract/Ord::Ord[y],
    ord26: Zafu/Abstract/Ord::Ord[z],
    ord27: Zafu/Abstract/Ord::Ord[a0]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0)]

ord_Tuple28

references: Tuple28, Zafu/Abstract/Ord::Ord

def ord_Tuple28[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v],
    ord23: Zafu/Abstract/Ord::Ord[w],
    ord24: Zafu/Abstract/Ord::Ord[x],
    ord25: Zafu/Abstract/Ord::Ord[y],
    ord26: Zafu/Abstract/Ord::Ord[z],
    ord27: Zafu/Abstract/Ord::Ord[a0],
    ord28: Zafu/Abstract/Ord::Ord[b0]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0)]

ord_Tuple29

references: Tuple29, Zafu/Abstract/Ord::Ord

def ord_Tuple29[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v],
    ord23: Zafu/Abstract/Ord::Ord[w],
    ord24: Zafu/Abstract/Ord::Ord[x],
    ord25: Zafu/Abstract/Ord::Ord[y],
    ord26: Zafu/Abstract/Ord::Ord[z],
    ord27: Zafu/Abstract/Ord::Ord[a0],
    ord28: Zafu/Abstract/Ord::Ord[b0],
    ord29: Zafu/Abstract/Ord::Ord[c0]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0)]

ord_Tuple30

references: Tuple30, Zafu/Abstract/Ord::Ord

def ord_Tuple30[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v],
    ord23: Zafu/Abstract/Ord::Ord[w],
    ord24: Zafu/Abstract/Ord::Ord[x],
    ord25: Zafu/Abstract/Ord::Ord[y],
    ord26: Zafu/Abstract/Ord::Ord[z],
    ord27: Zafu/Abstract/Ord::Ord[a0],
    ord28: Zafu/Abstract/Ord::Ord[b0],
    ord29: Zafu/Abstract/Ord::Ord[c0],
    ord30: Zafu/Abstract/Ord::Ord[d0]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0)]

ord_Tuple31

references: Tuple31, Zafu/Abstract/Ord::Ord

def ord_Tuple31[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0,
    e0](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v],
    ord23: Zafu/Abstract/Ord::Ord[w],
    ord24: Zafu/Abstract/Ord::Ord[x],
    ord25: Zafu/Abstract/Ord::Ord[y],
    ord26: Zafu/Abstract/Ord::Ord[z],
    ord27: Zafu/Abstract/Ord::Ord[a0],
    ord28: Zafu/Abstract/Ord::Ord[b0],
    ord29: Zafu/Abstract/Ord::Ord[c0],
    ord30: Zafu/Abstract/Ord::Ord[d0],
    ord31: Zafu/Abstract/Ord::Ord[e0]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0, e0)]

ord_Tuple32

references: Tuple32, Zafu/Abstract/Ord::Ord

def ord_Tuple32[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0,
    e0,
    f0](
    ord1: Zafu/Abstract/Ord::Ord[a],
    ord2: Zafu/Abstract/Ord::Ord[b],
    ord3: Zafu/Abstract/Ord::Ord[c],
    ord4: Zafu/Abstract/Ord::Ord[d],
    ord5: Zafu/Abstract/Ord::Ord[e],
    ord6: Zafu/Abstract/Ord::Ord[f],
    ord7: Zafu/Abstract/Ord::Ord[g],
    ord8: Zafu/Abstract/Ord::Ord[h],
    ord9: Zafu/Abstract/Ord::Ord[i],
    ord10: Zafu/Abstract/Ord::Ord[j],
    ord11: Zafu/Abstract/Ord::Ord[k],
    ord12: Zafu/Abstract/Ord::Ord[l],
    ord13: Zafu/Abstract/Ord::Ord[m],
    ord14: Zafu/Abstract/Ord::Ord[n],
    ord15: Zafu/Abstract/Ord::Ord[o],
    ord16: Zafu/Abstract/Ord::Ord[p],
    ord17: Zafu/Abstract/Ord::Ord[q],
    ord18: Zafu/Abstract/Ord::Ord[r],
    ord19: Zafu/Abstract/Ord::Ord[s],
    ord20: Zafu/Abstract/Ord::Ord[t],
    ord21: Zafu/Abstract/Ord::Ord[u],
    ord22: Zafu/Abstract/Ord::Ord[v],
    ord23: Zafu/Abstract/Ord::Ord[w],
    ord24: Zafu/Abstract/Ord::Ord[x],
    ord25: Zafu/Abstract/Ord::Ord[y],
    ord26: Zafu/Abstract/Ord::Ord[z],
    ord27: Zafu/Abstract/Ord::Ord[a0],
    ord28: Zafu/Abstract/Ord::Ord[b0],
    ord29: Zafu/Abstract/Ord::Ord[c0],
    ord30: Zafu/Abstract/Ord::Ord[d0],
    ord31: Zafu/Abstract/Ord::Ord[e0],
    ord32: Zafu/Abstract/Ord::Ord[f0]
) -> Zafu/Abstract/Ord::Ord[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0, e0, f0)]

ord_Unit

references: Unit, Zafu/Abstract/Ord::Ord

ord_Unit: Zafu/Abstract/Ord::Ord[()]

semigroup_Bool_and

references: Bool, Zafu/Abstract/Semigroup::Semigroup

semigroup_Bool_and: Zafu/Abstract/Semigroup::Semigroup[Bool]

semigroup_Bool_or

references: Bool, Zafu/Abstract/Semigroup::Semigroup

semigroup_Bool_or: Zafu/Abstract/Semigroup::Semigroup[Bool]

semigroup_Float64_add

references: Float64, Zafu/Abstract/Semigroup::Semigroup

semigroup_Float64_add: Zafu/Abstract/Semigroup::Semigroup[Float64]

semigroup_Float64_mul

references: Float64, Zafu/Abstract/Semigroup::Semigroup

semigroup_Float64_mul: Zafu/Abstract/Semigroup::Semigroup[Float64]

semigroup_Int_add

references: Int, Zafu/Abstract/Semigroup::Semigroup

semigroup_Int_add: Zafu/Abstract/Semigroup::Semigroup[Int]

semigroup_Int_mul

references: Int, Zafu/Abstract/Semigroup::Semigroup

semigroup_Int_mul: Zafu/Abstract/Semigroup::Semigroup[Int]

semigroup_List

references: List, Zafu/Abstract/Semigroup::Semigroup

semigroup_List: forall a: *. Zafu/Abstract/Semigroup::Semigroup[List[a]]

semigroup_Option

references: Option, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Option[a
](semigroup_item: Zafu/Abstract/Semigroup::Semigroup[a]) -> Zafu/Abstract/Semigroup::Semigroup[Option[a]]

semigroup_String

references: String, Zafu/Abstract/Semigroup::Semigroup

semigroup_String: Zafu/Abstract/Semigroup::Semigroup[String]

semigroup_Tuple1

references: Tuple1, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple1[a
](semigroup1: Zafu/Abstract/Semigroup::Semigroup[a]) -> Zafu/Abstract/Semigroup::Semigroup[(a,)]

semigroup_Tuple2

references: Tuple2, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple2[a, b](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b)]

semigroup_Tuple3

references: Tuple3, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple3[a, b, c](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c)]

semigroup_Tuple4

references: Tuple4, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple4[a, b, c, d](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d)]

semigroup_Tuple5

references: Tuple5, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple5[a, b, c, d, e](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e)]

semigroup_Tuple6

references: Tuple6, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple6[a, b, c, d, e, f](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f)]

semigroup_Tuple7

references: Tuple7, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple7[a, b, c, d, e, f, g](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g)]

semigroup_Tuple8

references: Tuple8, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple8[a, b, c, d, e, f, g, h](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h)]

semigroup_Tuple9

references: Tuple9, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple9[a, b, c, d, e, f, g, h, i](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i)]

semigroup_Tuple10

references: Tuple10, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple10[a, b, c, d, e, f, g, h, i, j](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j)]

semigroup_Tuple11

references: Tuple11, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple11[a, b, c, d, e, f, g, h, i, j, k](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k)]

semigroup_Tuple12

references: Tuple12, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple12[a, b, c, d, e, f, g, h, i, j, k, l](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l)]

semigroup_Tuple13

references: Tuple13, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple13[a, b, c, d, e, f, g, h, i, j, k, l, m](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m)]

semigroup_Tuple14

references: Tuple14, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple14[a, b, c, d, e, f, g, h, i, j, k, l, m, n](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n)]

semigroup_Tuple15

references: Tuple15, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple15[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)]

semigroup_Tuple16

references: Tuple16, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple16[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p)]

semigroup_Tuple17

references: Tuple17, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple17[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q)]

semigroup_Tuple18

references: Tuple18, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple18[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r)]

semigroup_Tuple19

references: Tuple19, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple19[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s)]

semigroup_Tuple20

references: Tuple20, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple20[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t)]

semigroup_Tuple21

references: Tuple21, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple21[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u)]

semigroup_Tuple22

references: Tuple22, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple22[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v)]

semigroup_Tuple23

references: Tuple23, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple23[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v],
    semigroup23: Zafu/Abstract/Semigroup::Semigroup[w]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w)]

semigroup_Tuple24

references: Tuple24, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple24[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v],
    semigroup23: Zafu/Abstract/Semigroup::Semigroup[w],
    semigroup24: Zafu/Abstract/Semigroup::Semigroup[x]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x)]

semigroup_Tuple25

references: Tuple25, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple25[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v],
    semigroup23: Zafu/Abstract/Semigroup::Semigroup[w],
    semigroup24: Zafu/Abstract/Semigroup::Semigroup[x],
    semigroup25: Zafu/Abstract/Semigroup::Semigroup[y]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y)]

semigroup_Tuple26

references: Tuple26, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple26[a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v],
    semigroup23: Zafu/Abstract/Semigroup::Semigroup[w],
    semigroup24: Zafu/Abstract/Semigroup::Semigroup[x],
    semigroup25: Zafu/Abstract/Semigroup::Semigroup[y],
    semigroup26: Zafu/Abstract/Semigroup::Semigroup[z]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z)]

semigroup_Tuple27

references: Tuple27, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple27[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v],
    semigroup23: Zafu/Abstract/Semigroup::Semigroup[w],
    semigroup24: Zafu/Abstract/Semigroup::Semigroup[x],
    semigroup25: Zafu/Abstract/Semigroup::Semigroup[y],
    semigroup26: Zafu/Abstract/Semigroup::Semigroup[z],
    semigroup27: Zafu/Abstract/Semigroup::Semigroup[a0]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0)]

semigroup_Tuple28

references: Tuple28, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple28[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v],
    semigroup23: Zafu/Abstract/Semigroup::Semigroup[w],
    semigroup24: Zafu/Abstract/Semigroup::Semigroup[x],
    semigroup25: Zafu/Abstract/Semigroup::Semigroup[y],
    semigroup26: Zafu/Abstract/Semigroup::Semigroup[z],
    semigroup27: Zafu/Abstract/Semigroup::Semigroup[a0],
    semigroup28: Zafu/Abstract/Semigroup::Semigroup[b0]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0)]

semigroup_Tuple29

references: Tuple29, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple29[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v],
    semigroup23: Zafu/Abstract/Semigroup::Semigroup[w],
    semigroup24: Zafu/Abstract/Semigroup::Semigroup[x],
    semigroup25: Zafu/Abstract/Semigroup::Semigroup[y],
    semigroup26: Zafu/Abstract/Semigroup::Semigroup[z],
    semigroup27: Zafu/Abstract/Semigroup::Semigroup[a0],
    semigroup28: Zafu/Abstract/Semigroup::Semigroup[b0],
    semigroup29: Zafu/Abstract/Semigroup::Semigroup[c0]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0)]

semigroup_Tuple30

references: Tuple30, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple30[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v],
    semigroup23: Zafu/Abstract/Semigroup::Semigroup[w],
    semigroup24: Zafu/Abstract/Semigroup::Semigroup[x],
    semigroup25: Zafu/Abstract/Semigroup::Semigroup[y],
    semigroup26: Zafu/Abstract/Semigroup::Semigroup[z],
    semigroup27: Zafu/Abstract/Semigroup::Semigroup[a0],
    semigroup28: Zafu/Abstract/Semigroup::Semigroup[b0],
    semigroup29: Zafu/Abstract/Semigroup::Semigroup[c0],
    semigroup30: Zafu/Abstract/Semigroup::Semigroup[d0]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0)]

semigroup_Tuple31

references: Tuple31, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple31[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0,
    e0](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v],
    semigroup23: Zafu/Abstract/Semigroup::Semigroup[w],
    semigroup24: Zafu/Abstract/Semigroup::Semigroup[x],
    semigroup25: Zafu/Abstract/Semigroup::Semigroup[y],
    semigroup26: Zafu/Abstract/Semigroup::Semigroup[z],
    semigroup27: Zafu/Abstract/Semigroup::Semigroup[a0],
    semigroup28: Zafu/Abstract/Semigroup::Semigroup[b0],
    semigroup29: Zafu/Abstract/Semigroup::Semigroup[c0],
    semigroup30: Zafu/Abstract/Semigroup::Semigroup[d0],
    semigroup31: Zafu/Abstract/Semigroup::Semigroup[e0]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0, e0)]

semigroup_Tuple32

references: Tuple32, Zafu/Abstract/Semigroup::Semigroup

def semigroup_Tuple32[a,
    b,
    c,
    d,
    e,
    f,
    g,
    h,
    i,
    j,
    k,
    l,
    m,
    n,
    o,
    p,
    q,
    r,
    s,
    t,
    u,
    v,
    w,
    x,
    y,
    z,
    a0,
    b0,
    c0,
    d0,
    e0,
    f0](
    semigroup1: Zafu/Abstract/Semigroup::Semigroup[a],
    semigroup2: Zafu/Abstract/Semigroup::Semigroup[b],
    semigroup3: Zafu/Abstract/Semigroup::Semigroup[c],
    semigroup4: Zafu/Abstract/Semigroup::Semigroup[d],
    semigroup5: Zafu/Abstract/Semigroup::Semigroup[e],
    semigroup6: Zafu/Abstract/Semigroup::Semigroup[f],
    semigroup7: Zafu/Abstract/Semigroup::Semigroup[g],
    semigroup8: Zafu/Abstract/Semigroup::Semigroup[h],
    semigroup9: Zafu/Abstract/Semigroup::Semigroup[i],
    semigroup10: Zafu/Abstract/Semigroup::Semigroup[j],
    semigroup11: Zafu/Abstract/Semigroup::Semigroup[k],
    semigroup12: Zafu/Abstract/Semigroup::Semigroup[l],
    semigroup13: Zafu/Abstract/Semigroup::Semigroup[m],
    semigroup14: Zafu/Abstract/Semigroup::Semigroup[n],
    semigroup15: Zafu/Abstract/Semigroup::Semigroup[o],
    semigroup16: Zafu/Abstract/Semigroup::Semigroup[p],
    semigroup17: Zafu/Abstract/Semigroup::Semigroup[q],
    semigroup18: Zafu/Abstract/Semigroup::Semigroup[r],
    semigroup19: Zafu/Abstract/Semigroup::Semigroup[s],
    semigroup20: Zafu/Abstract/Semigroup::Semigroup[t],
    semigroup21: Zafu/Abstract/Semigroup::Semigroup[u],
    semigroup22: Zafu/Abstract/Semigroup::Semigroup[v],
    semigroup23: Zafu/Abstract/Semigroup::Semigroup[w],
    semigroup24: Zafu/Abstract/Semigroup::Semigroup[x],
    semigroup25: Zafu/Abstract/Semigroup::Semigroup[y],
    semigroup26: Zafu/Abstract/Semigroup::Semigroup[z],
    semigroup27: Zafu/Abstract/Semigroup::Semigroup[a0],
    semigroup28: Zafu/Abstract/Semigroup::Semigroup[b0],
    semigroup29: Zafu/Abstract/Semigroup::Semigroup[c0],
    semigroup30: Zafu/Abstract/Semigroup::Semigroup[d0],
    semigroup31: Zafu/Abstract/Semigroup::Semigroup[e0],
    semigroup32: Zafu/Abstract/Semigroup::Semigroup[f0]
) -> Zafu/Abstract/Semigroup::Semigroup[(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p, q, r, s, t, u, v, w, x, y, z, a0, b0, c0, d0, e0, f0)]

semigroup_Unit

references: Unit, Zafu/Abstract/Semigroup::Semigroup

semigroup_Unit: Zafu/Abstract/Semigroup::Semigroup[()]

traverse_Array

references: Bosatsu/Collection/Array::Array, Zafu/Abstract/Traverse::Traverse

traverse_Array: Zafu/Abstract/Traverse::Traverse[Bosatsu/Collection/Array::Array]

traverse_Option

references: Option, Zafu/Abstract/Traverse::Traverse

traverse_Option: Zafu/Abstract/Traverse::Traverse[Option]