[][src]Type Definition moore_svlog::NodeEnvId

type NodeEnvId = (NodeId, ParamEnv);

A node id with corresponding parameter environment.