with Types; use Types;
with PSL.Nodes; use PSL.Nodes;
package PSL.Hash is
-- Initialize the package.
procedure Init;
-- Get the PSL node for node HDL.
-- Only one PSL node is created for an HDL node.
function Get_PSL_Node (Hdl : Int32) return Node;
end PSL.Hash;
test.py?h=master' type='application/atom+xml'/>
