什么叫程序法

程序法是指 为保证实体法所规定的权利义务关系的实现而制定的诉讼程序的法律。它主要包括刑事诉讼法、民事诉讼法、行政诉讼法等，还包括一些非诉讼程序法，如立法程序法、选举规则、议事规则等。程序法的主要功能在于及时、恰当地为实现权利和行使职权提供必要的规则、方式和秩序，正确实施实体法。