is mentioned by

Thm* SQType(Label)

[lbl_sq]

In prior sections: sqequal 1 prog 1 mb basic

Try larger context: GenAutomata