壑大

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