AbortingPathElem from A

append a new element

at a given

LimitsEff DynLimitsA Inout

returned by a prior call

sending of a parameter

returned by a prior call

a descriptive

_Atomic IMPLEMENTS ICounter A

cyclically from a lower