Module writes 

What a call that ran may have written to the city’s tree, as its tool can tell (crates/kernel/spec/Tool.lean §8-23).

Enums

Writes

What one call, or every call since the last checkpoint, may have written.