pub fn compile_only(
  def: ast.Definition,
  ref: identity.DefinitionRef,
) -> Result(BitArray, String)

pub fn elaborate_only(
  term: elab_types.SurfaceTerm,
  name: String,
  cache: types.TypeCache,
  prev_defs: List(#(String, elab_types.SurfaceDef)),
) -> Result(
  #(ast.Unit, types.TypeCache, elab_ctx.ElabCtx),
  elab_types.ElaborateError,
)

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

pub fn parse_only(
  source: String,
) -> Result(elab_types.SurfaceTerm, lexer.ParseError)

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