- (Initially_Available : Boolean;
- -- Binary semaphores are either available or not; there is no
- -- internal count involved. The discriminant value determines
- -- whether the individual object is initially available.
+ (Initially_Available : Boolean;
+ -- Binary semaphores are either available or not; there is no internal
+ -- count involved. The discriminant value determines whether the
+ -- individual object is initially available.
+