Functionsยง
- lemma_
max_ mappings_ fit_ usize - lemma_
nr_ entries_ times_ sub_ page_ size - lemma_
pa_ plus_ page_ size_ no_ overflow - lemma_
page_ size_ div_ mul_ eq - lemma_
page_ size_ divides - lemma_
page_ size_ ge_ page_ size - lemma_
page_ size_ monotone - lemma_
page_ size_ multiple_ of_ page_ size - lemma_
page_ size_ spec_ level1 - lemma_
page_ size_ spec_ values - lemma_
split_ sub_ page_ big_ j - lemma_
va_ align_ page_ size - lemma_
va_ align_ page_ size_ level_ 1 - lemma_
va_ plus_ page_ size_ no_ overflow