Skip to main content

disjoint_leaf_lemmas

Function disjoint_leaf_lemmas 

Source
pub broadcast group fn disjoint_leaf_lemmas()
Expand description

Semantic leaf facts that do not recursively decompose parser syntax.

broadcast group