d3fe22b281
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
9 lines
279 B
Text
9 lines
279 B
Text
Update on env:
|
|
|
|
general explorer: __explorer
|
|
initial manifest: __manifest, __global
|
|
type manifests __object, __object_id, __global
|
|
type explorers: __object, __object_id, __type_explorers, __global
|
|
type codegen: __object, __object_id, __global
|
|
type code: -
|
|
|