| 125 | |
| 126 | /** @internal */ |
| 127 | const removeSupervisor = ( |
| 128 | self: Supervisor.Supervisor<any>, |
| 129 | that: Supervisor.Supervisor<any> |
| 130 | ): Supervisor.Supervisor<any> => { |
| 131 | if (Equal.equals(self, that)) { |
| 132 | return supervisor.none |
| 133 | } else { |
| 134 | if (supervisor.isZip(self)) { |
| 135 | return removeSupervisor(self.left, that).zip(removeSupervisor(self.right, that)) |
| 136 | } else { |
| 137 | return self |
| 138 | } |
| 139 | } |
| 140 | } |
| 141 | |
| 142 | /** @internal */ |
| 143 | const toSet = (self: Supervisor.Supervisor<any>): HashSet.HashSet<Supervisor.Supervisor<any>> => { |