summaryrefslogtreecommitdiff
path: root/src/psl/psl-tprint.ads
blob: 1b06ebf1aca077b6810267da311b17f03409d524 (plain)
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;