functor
(
Loc
:
Defs
.
Loc
)
->
Defs
.
AstHelpers