functor (S : Camlp4.Sig.Camlp4Syntax-> Camlp4.Sig.Camlp4Syntax