mb
structures
Sections
GenAutomata
Doc
Def
i
j < k == i
j & j < k
is mentioned
In prior sections:
int
1
int
2
Try larger context:
GenAutomata
mb
structures
Sections
GenAutomata
Doc
j < k == ij & j < k