$_disjoin$BANG_$1 abstract method

dynamic $_disjoin$BANG_$1(
  1. dynamic tcoll$1,
  2. dynamic v$2
)

Implementation

dc.dynamic $_disjoin$BANG_$1(dc.dynamic tcoll$1, dc.dynamic v$2, );