Searched refs:Write_Subunits_Closure (Results 1 – 7 of 7) sorted by relevance
1530 procedure Write_Subunits_Closure (Set : Membership_Set); subprogspec1531 pragma Inline (Write_Subunits_Closure);1619 procedure Write_Subunits_Closure (Set : Membership_Set) is subprogram1626 end Write_Subunits_Closure;1655 Write_Subunits_Closure (Set);
1536 procedure Write_Subunits_Closure (Set : Membership_Set); subprogspec1537 pragma Inline (Write_Subunits_Closure);1625 procedure Write_Subunits_Closure (Set : Membership_Set) is subprogram1632 end Write_Subunits_Closure;1661 Write_Subunits_Closure (Set);