vstd
In vstd::
prelude
vstd
::
prelude
Function
constrain_type
Copy item path
pub fn constrain_type<T>(_x: T, _y: T) ->
bool