package Lin.IO is procedure Show(W: in Sparse; Cut: in Rep := Zero); procedure Read(Name: in String; W: out Sparse; Decimal: in Boolean := True); procedure Write(Name: in String; W: in Sparse; Decimal: in Boolean := True); end Lin.IO;