let
defaultall _v : t = inject_singleton
StmtDefault
.default