Т8
Size: a a a
Т8
V

С
Ct
Т8
Ct
AZ
Ct
Ct
p
Ct
Ct
p
foo = {}
foo["a"] = lambda c: c + 1
foo["b"] = lambda: "co"
def call(name, *args):
foo[name](*args)p
Ct
foo = {}
foo["a"] = lambda c: c + 1
foo["b"] = lambda: "co"
def call(name, *args):
foo[name](*args)foo: Map<String, Fn(Vec<Arg>)>?DS
foo = {}
foo["a"] = lambda c: c + 1
foo["b"] = lambda: "co"
def call(name, *args):
foo[name](*args)С
foo = {}
foo["a"] = lambda c: c + 1
foo["b"] = lambda: "co"
def call(name, *args):
foo[name](*args)DS
HCons<("a", PolymorphicAdder), HCons<("b", Fn() -> "co"), HNil>>DS
AZ
foo = {}
foo["a"] = lambda c: c + 1
foo["b"] = lambda: "co"
def call(name, *args):
foo[name](*args)FooType : String -> Type
FooType "a" = Int -> Int
FooType "b" = String
FooType _ = Void
foo : Map k (FooType k)
foo = ...