(self, current, tokens)
return SmtLibCommand(current, [type_])
(declare-sort <symbol> <numeral>)
(declare-sort <symbol> <numeral>)
( declare - sort <symbol > <numeral > )
def _cmd_declare_sort(self, current, tokens):
        """(declare-sort <symbol> <numeral>)"""
        (typename, arity) = self.parse_atoms(tokens, current, 2)
        try:
            type_ = self.env.type_manager.Type(typename, int(arity))
        except ValueError:
            raise PysmtSyntaxError("Expected an integer as arity of type %s."%
                                   typename, tokens.pos_info)
        self.cache.bind(typename, type_)
        return SmtLibCommand(current, [type_])
def _cmd_declare_sort ( self , current , tokens ) : ( typename , arity ) = self . parse_atoms ( tokens , current , 2 ) try : type_ = self . env . type_manager . Type ( typename , int ( arity ) ) except ValueError : raise PysmtSyntaxError ( "Expected an integer as arity of type %s." % typename , tokens . pos_info ) self . cache . bind ( typename , type_ ) return SmtLibCommand ( current , [ type_ ] )