vstd
In vstd::
prelude
vstd
::
prelude
Function
spec_chained_cmp
Copy item path
pub fn spec_chained_cmp(_chain:
SpecChain
) ->
bool