path: root/src/psl/psl.ads

package PSL is
   pragma Pure (PSL);
end PSL;