pub fn bootstrap_defs(
  defs: List(#(String, elab_types.SurfaceDef)),
  cache: types.TypeCache,
) -> #(types.TypeCache, List(#(String, elab_types.SurfaceDef)))

pub fn deserialize_term(bytes: BitArray) -> a

pub fn do_eval(
  term: elab_types.SurfaceTerm,
  name: String,
  cache: types.TypeCache,
  prev_defs: List(#(String, elab_types.SurfaceDef)),
) -> Result(#(String, ast.Type, types.TypeCache), String)

pub fn eval_module(mod_name: String) -> Result(String, String)

pub fn handle_define(
  name: String,
  val: elab_types.SurfaceTerm,
  cache: types.TypeCache,
  prev_defs: List(#(String, elab_types.SurfaceDef)),
) -> Result(
  #(types.TypeCache, List(#(String, elab_types.SurfaceDef))),
  String,
)

pub fn load_binary(
  mod_name: String,
  beam: BitArray,
) -> Result(Nil, String)

pub fn ref_for_name(name: String) -> identity.DefinitionRef

pub fn serialize_term(term: a) -> BitArray

pub fn string_to_binary(s: String) -> BitArray

pub fn unload_binary(mod_name: String) -> Result(Nil, String)