RustAst/docs/Pipeline.md

• Macro expansion
• Binding
• var lambdas
• Linking(var lambdas) -Typechecker::check_with_args(template, ())
  • lambdas = Lambda Collection <- fills registry
  • Specializing call, say (tak int int int)
    • found in lambdas: (tak any any any)->any
      • var local_lambdas
      • recurse Linking(var local_lambdas):
        • TypeChecker::check_with_args(template, args)
        • local_lambdas = Lambda Collection
        • Specializing ....
• TCO