vstd::layout

Function group_layout_axioms

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