sig module AUTO : PortalineType module CRLF : PortalineType module LF : PortalineType module CR : PortalineType end