壑大的简介_典籍通

　　壑大，姓氏未详，吴松（今上海宝山）人。陈郁（世崇父）友。度宗咸淳八年（一二七二）寓临安。事见《随隠漫录》卷三。