Skip to main content

disjoint_right_continuation_lemmas

vest_lib::combinators::disjoint

Function disjoint_right_continuation_lemmas 

Source 
pub broadcast group fn disjoint_right_continuation_lemmas()
Expand description

Syntax-directed decomposition of a right-hand continuation.

broadcast group