src/psl/psl-tprint.ads


1
2
3
4
5
6

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;