[string_of_env env] converts environment [env] to its string representation. It only keeps instance variables at level 0, i.e., those that appear in the toplevel goal. */
(env: &Environment, heap: &mut Heap)
source not stored for this graph (policy: none)
no test coverage detected