程序法是指 为了保障法律主体实体权利和义务的实现而制定的关于程序方面的法律。它主要包括诉讼程序法律（如民事诉讼法、刑事诉讼法、行政诉讼法等）以及非诉讼程序法律（如仲裁法、行政复议法、劳动争议调解仲裁法等）。
程序法的主要作用是确保法律关系得以正确实施，规定了解决争议、处理案件的程序步骤和方式。通过程序法，可以保障司法程序的公正性、公开性和透明性，从而保护当事人的合法权益。
以打官司为例，程序法规定了具体流程，如起诉、受理、庭审、举证质证等。这些步骤确保了诉讼过程的有序进行，保障了公平公正。
综上所述，程序法是一个涵盖各种程序性法律的大概念，不仅包括诉讼程序法律，还包括非诉讼程序法律，其目的是确保法律权利和义务得以正确实施。