Skip to main content

disjoint_left_composite_lemmas

vest_lib::combinators::disjoint

Function disjoint_left_composite_lemmas 

Source 
pub broadcast group fn disjoint_left_composite_lemmas()
Expand description

Reverse-orientation decomposition, available explicitly when a format is left-associated.

broadcast group