package Lin.IO.Vinci is -- producing .ine files for vinci procedure WriteVinci(Name,Comment: in String; A: in RMatPtr); procedure WriteVinci(Name: in String; A: in RMatPtr); end Lin.IO.Vinci;