Whether the call call of fn replayed the replacement or assignment write of its body (see EnvOpKind.Replace and EnvOpKind.Define) into the environment it hands over, so what it writes is known there.
call
fn
write
Whether the call
calloffnreplayed the replacement or assignmentwriteof its body (see EnvOpKind.Replace and EnvOpKind.Define) into the environment it hands over, so what it writes is known there.