WithProof

Internal

WithRel

Internal

well_ordered

AHeap

well_ordered_append

AHeap

well_ordered_at

AHeap

well_ordered_is_partially_ordered

AHeap

well_ordered_smaller_than_all

BigIntArrayHeap

well_ordered_swap

AHeap

well_ordered_swap_root

AHeap

well_ordered_take

AHeap

well_ordered_updated

AHeap

while2Invariant

lang

withFilter

List Option State List PList

withOracle

synthesis