There are currently three ways to create ast elements, `build::mk_*`, `build::ExtCtxtMethods`, and `pipes::ast_builder::ext_ctxt_ast_builder`. (I'm working on this.)
There are currently three ways to create ast elements,
build::mk_*,build::ExtCtxtMethods, andpipes::ast_builder::ext_ctxt_ast_builder.(I'm working on this.)