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