add comments about WD export of theory operators
Passed
Michael Leuschel
created pipeline for commit
9c2d2694
, finished
For develop
3 minutes 22 seconds, queued for 3 seconds