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