with Types; package Printer is function Pr_Str (M : Types.Mal_Handle) return String; end Printer;