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