hax_
frontend_
exporter
0.1.0-alpha.1
Param
Env
Required Methods
param_env
Implementors
In crate hax_
frontend_
exporter
Trait
hax_frontend_exporter
::
ParamEnv
Copy item path
source
·
[
−
]
pub trait ParamEnv<'tcx> { // Required method fn
param_env
(&self) ->
ParamEnv
<'tcx>; }
Required Methods
§
source
fn
param_env
(&self) ->
ParamEnv
<'tcx>
Implementors
§
source
§
impl<'tcx, S:
UnderOwnerState
<'tcx>>
ParamEnv
<'tcx> for S