Function ArraySort

lean_py/z3/core.py:273–274 · view source on GitHub ↗

(domain: SortRef, range_sort: SortRef)

Source from the content-addressed store, hash-verified

271
272
273	def ArraySort(domain: SortRef, range_sort: SortRef) -> ArraySortRef:
274	return ArraySortRef(domain, range_sort)
275
276
277	# ---------------------------------------------------------------------------

resolve_sortMethod · 0.90

test_array_sortMethod · 0.90

test_sort_kind_arrayMethod · 0.90

test_array_sortMethod · 0.90

ArrayFunction · 0.85

KFunction · 0.85

MapFunction · 0.85

AsArrayFunction · 0.85

SetSortFunction · 0.85

ArraySortRefClass · 0.85

test_array_sortMethod · 0.72

test_sort_kind_arrayMethod · 0.72

test_array_sortMethod · 0.72