: American ▁films ▁Category : English - language ▁films ▁Category : Fil ms ▁set ▁in ▁Ira q ▁Category : Document ary ▁films ▁about ▁basketball <0x0A> </s> ▁Bath yer go ides ▁is ▁an ▁ext inct ▁genus ▁of ▁rod ent ▁from ▁Africa ▁thought ▁to ▁be ▁related ▁to ▁the ▁modern ▁b les m ols . ▁It ▁is ▁the ▁only ▁member ▁of ▁the ▁family ▁Bath yer go id idae . ▁F oss ils ▁of ▁Bath yer go ides ▁ne ot ert i arius ▁were ▁recovered ▁from ▁the ▁Early ▁Mi oc ene ▁Elisabeth ▁Bay ▁Form ation ▁of ▁Nam ib ia . ▁ ▁References ▁ ▁Bibli ography ▁▁▁▁ ▁Category : Hy str ic ogn ath ▁rod ents ▁Category : Pre histor ic ▁rod ent ▁gener a ▁Category : M i oc ene ▁rod ents ▁Category : M i oc ene ▁m amm als ▁of ▁Africa ▁Category : F oss ils ▁of ▁Nam ib ia ▁Category : F oss il ▁tax a ▁described ▁in ▁ 1 9 2 3 ▁Category : T ax a ▁named ▁by ▁Ernst ▁St rom er <0x0A> </s> ▁In ▁type ▁theory , ▁a ▁ref in ement ▁type ▁is ▁a ▁type ▁end owed ▁with ▁a ▁predicate ▁which ▁is ▁assumed ▁to ▁hold ▁for ▁any ▁element ▁of ▁the ▁ref ined ▁type . ▁ ▁Re fin ement ▁types ▁can ▁express ▁pre cond itions ▁when ▁used ▁as ▁function ▁arguments ▁or ▁post cond itions ▁when ▁used ▁as ▁return ▁types : ▁ ▁for ▁instance , ▁the ▁type ▁of ▁a ▁function ▁which ▁accepts ▁natural ▁numbers ▁and ▁returns ▁natural ▁numbers ▁greater ▁than ▁ 5 ▁may