mb declaration Sections GenAutomata Doc

Def ground_ptn(p) == Case(p) Case ptn_var(v) = > false Case ptn_pr( < x, y > ) = > ground_ptn(x)ground_ptn(y) Default = > true (recursive)

is mentioned

In prior sections: mb label

Try larger context: GenAutomata

mb declaration Sections GenAutomata Doc