functor (E : sig val eol : Kwcsv.eoltype end) -> PortalineType