-record(env, {
    values :: gleam@dict:dict(binary(), girard@types:scheme()),
    open_values :: gleam@dict:dict(binary(), girard@types:scheme()),
    aliases :: gleam@dict:dict(binary(), {list(binary()), glance:type()}),
    imported_aliases :: gleam@dict:dict(binary(), {list(integer()),
        girard@types:type()}),
    accessors :: gleam@dict:dict(binary(), gleam@dict:dict(binary(), girard@types:scheme())),
    local_types :: gleam@dict:dict(binary(), {binary(), binary(), integer()}),
    field_maps :: gleam@dict:dict(binary(), list(gleam@option:option(binary()))),
    variants :: gleam@dict:dict(binary(), gleam@dict:dict(binary(), girard@types:type())),
    current_module :: binary(),
    modules :: gleam@dict:dict(binary(), girard@internal@infer:module_interface()),
    module_index :: gleam@dict:dict(binary(), girard@internal@infer:module_interface()),
    live :: gleam@set:set(binary())
}).