Module Delimited_kernel__.Read_intf

module type On_invalid_row = sig ... end

If we can read a row correctly but the 'a t provided can't convert it, your 'a On_invalid_row.t will define what happens.

module type Open_on_rhs = sig ... end
module type Root = sig ... end
module type Expert = sig ... end