[documentation]: document while tactic
#880
+132
−0
Draft
while tactic
#880