《清会典•工部三•都水清吏司》：“凡工有堤，有坝，有埽，有牐，有涵洞。”注：“涵洞之式，有淤洼涵洞，有洩水涵洞，有溉田涵洞。以石为之，墙身砌面石，下为铺底石，上为盖口石，墙后衬砌城甎，馀与石牐同。”