-record(module_interface, {
    name :: binary(),
    values :: gleam@dict:dict(binary(), girard@types:scheme()),
    types :: gleam@dict:dict(binary(), {binary(), binary(), integer()}),
    aliases :: gleam@dict:dict(binary(), {list(integer()), girard@types:type()}),
    accessors :: gleam@dict:dict(binary(), gleam@dict:dict(binary(), girard@types:scheme())),
    field_maps :: gleam@dict:dict(binary(), list(gleam@option:option(binary()))),
    modules :: gleam@dict:dict(binary(), girard@internal@infer:module_interface())
}).