vstd::slice

Function group_slice_axioms

Source 
pub broadcast group fn group_slice_axioms()
Expand description
broadcast group