(self, current, tokens)
return self._cmd_not_implemented(current, tokens)
(define-fun-rec <fun_def>)
(define-fun-rec <fun_def>)
( define - fun - rec <fun_def > )
def _cmd_define_fun_rec(self, current, tokens):
        """(define-fun-rec <fun_def>)"""
        return self._cmd_not_implemented(current, tokens)
def _cmd_define_fun_rec ( self , current , tokens ) : return self . _cmd_not_implemented ( current , tokens )