mb hybrid Sections GenAutomata Doc

Def R1 = > R2 == x,y:T. (x R1 y) (x R2 y)

is mentioned

In prior sections: mb nat

Try larger context: GenAutomata

mb hybrid Sections GenAutomata Doc