Function count_present Copy item path

pub open spec fn count_present<E: PageTableEntryTrait>(s: Seq<E>) -> int

{ count_present_upto(s, s.len() as int) }