let meth_decl = Gram.Entry.mk "meth_decl"