(self, current, tokens)
return self._cmd_not_implemented(current, tokens)
(define-funs-rec (<fun_dec>^{n+1}) (<term>^{n+1>))
(define-funs-rec (<fun_dec>^{n+1}) (<term>^{n+1>))
( define - funs - rec ( <fun_dec > ^ { n + 1 } ) ( <term > ^ { n + 1 > ))
def _cmd_define_funs_rec(self, current, tokens):
        """(define-funs-rec (<fun_dec>^{n+1}) (<term>^{n+1>))"""
        return self._cmd_not_implemented(current, tokens)
def _cmd_define_funs_rec ( self , current , tokens ) : return self . _cmd_not_implemented ( current , tokens )