程序法是什么

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