Struct moore_svlog::InstTargetDetails

pub struct InstTargetDetails<'a> {
    pub hir: &'a InstTarget<'a>,
    pub kind: InstTarget<'a>,
    pub outer_env: ParamEnv,
    pub inner_env: ParamEnv,
    pub params: &'a ParamEnvData<'a>,
}

Instantiation target details

This struct bundles all the information associated with an instantiation target, most importantly the parameter bindings.

This corresponds to the foo #(x) in foo #(x) bar(y);.

Fields

hir: &'a InstTarget<'a>

The HIR instantiation target.

kind: InstTarget<'a>

The instantiated node.

outer_env: ParamEnv

The parameter environment around the instantiation.

inner_env: ParamEnv

The parameter environment generated by the instantiation.

params: &'a ParamEnvData<'a>

The parameter bindings.

Trait Implementations

impl<'a> Debug for InstTargetDetails<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.