backtracking/vector

Issues

• [API suggestion] Avoid `~dummy` flag in favour of `Obj.magic`

  #1 opened 4 years ago by craigfe
  5