vstd::slice

Function group_slice_axioms

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