hax_
frontend_
exporter
0.1.0-alpha.1
In hax_
frontend_
exporter::
state
Trait Alias
hax_frontend_exporter
::
state
::
BaseState
Copy item path
source
ยท
[
−
]
trait BaseState<'tcx> =
HasBase
<'tcx> +
Clone
+
IsState
<'tcx>;