(index_type, elem_type)
return mgr.ArrayType(index_type=index_type, elem_type=elem_type)
Returns the Array type with the given arguments.
Returns the Array type with the given arguments.
Returns the Array type with the given arguments .
def ArrayType(index_type, elem_type):
    """Returns the Array type with the given arguments."""
    mgr = pysmt.environment.get_env().type_manager
    return mgr.ArrayType(index_type=index_type, elem_type=elem_type)
def ArrayType ( index_type , elem_type ) : mgr = pysmt . environment . get_env ( ) . type_manager return mgr . ArrayType ( index_type = index_type , elem_type = elem_type )