Module unsafe_binder
Operators used to turn types into unsafe binders and back.
Macros
- unwrap_binder Unwrap an unsafe binder into its underlying type.
- wrap_binder Wrap a type into an unsafe binder.
unsafe_binderOperators used to turn types into unsafe binders and back.