I think the book tends to say just "family" instead of "type family", but that's minor as both terms are actually used in the book. I would refer to 3.4.3(ii) for the definition of "decidable family".