% This LaTeX document was generated using the LaTeX backend of PlDoc, % The SWI-Prolog documentation system \begin{summarylist}{ll} \predicatesummary{with_rwlock}{3}{Run Goal, synchronized with LockId in ModeSpec.} \predicatesummary{with_rwlock}{4}{Run Goal, synchronized with LockId in ModeSpec.} \end{summarylist}