(self, type_decl, *args)
return ty
Creates an instance of the TypeDecl with the given arguments.
Creates an instance of the TypeDecl with the given arguments.
Creates an instance of the TypeDecl with the given arguments .
def get_type_instance(self, type_decl, *args):
        """Creates an instance of the TypeDecl with the given arguments."""
        assert_are_types(args, __name__)
        key = (type_decl, tuple(args)) if args is not None else type_decl
        try:
            ty = self._custom_types[key]
        except KeyError:
            ty = PySMTType(decl=type_decl, args=args)
            self._custom_types[key] = ty
        return ty
def get_type_instance ( self , type_decl , * args ) : assert_are_types ( args , __name__ ) key = ( type_decl , tuple ( args ) ) if args is not None else type_decl try : ty = self . _custom_types [ key ] except KeyError : ty = PySMTType ( decl = type_decl , args = args ) self . _custom_types [ key ] = ty return ty