Type Definition NodeEnvId
moore_svlog
type NodeEnvId = (NodeId, ParamEnv);
A node id with corresponding parameter environment.