WordNet
pesantran
n. a Muslim school in Indonesia operated by religious leaders; produces young militants skilled in jihad [syn: pesantren]