San CristÃ balis a Dominican city and the head municipality of the San CristÃ bal province . San CristÃ bal is a municipality ( municipio ) and the capital of the San CristÃ bal province in the Dominican Republic .