Module Delimited_parsing__.Deprecated_intf