with PSL.Nodes; use PSL.Nodes;

package PSL.Tprint is
   procedure Disp_Unit (Unit : Node);
   procedure Disp_Property (Prefix : String; Prop : Node);
end PSL.Tprint;