mb
label
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 by
Def
Label == {p:Pattern|
ground_ptn(p) }
[lbl]
Try larger context:
GenAutomata
mb
label
Sections
GenAutomata
Doc
ground_ptn(p) }
Case ptn_pr( < x, y > ) = >
ground_ptn(x)
ground_ptn(y)
Default = > true
(recursive)
ground_ptn(p) }