pub fn store_write<'a>(
store: &HashMap<String, String>,
bound: &[String],
expr: &'a Expr,
) -> Option<StoreWrite<'a>>Expand description
expr as a mutating store operation, when its receiver is a bare name
that is one of the agent’s store fields (store: name → kind head), not
shadowed by a name in bound, and its method is one the registry marks as
mutating for that field’s kind. None for a read, a query, any other call,
or a shadowed name.