公司法到底属于什么法?