úÎæ-None234T    None:Tf    None:TNone[    NoneL[UGenerates a new function with the given name that can behave like multiple functions.!"#$%!"#$%None 9;DR&'()*+,-./01234 &'()*+,-.0123 &'()*+,-./012345      !"#$%&'()&*+,-./0123456789:'overload-0.1.0.4-3njuupLD6KI2cSK1KVkECzOverloadOverload.TypeTreeOverload.NormalOverload.General Overload.DiffOverload.ExampleoverloadTypeTreeVarConcreteAppisDistinguishabletypeToTypeTreetypeTreeWithNamestypeTreeToType showTypeTree FreshSourceNormal lookupNamefreshVarnormalizeTypeTree $fShowNormalVariableMapping trySetVarisMoreGeneralThanisMoreGeneralThan' getEqualitiesminimizeDiffDiffStepGoLeftGoRight wholeTreeDiffdiff treeFromDiff diffToEither treeFromDiffsdeciderswithouts allDeciders equalityToCxt makeInstancef1f2f3Fftestg1g2g3$fFMaybeGgh1h2$fGt0