let defaultall _v : t = inject_singleton StmtDefault.default