gleamunison/elaborate

Values

elaborate_unit

pub fn elaborate_unit(
  su: elab_types.SurfaceUnit,
  cache: types.TypeCache,
) -> Result(
  #(ast.Unit, types.TypeCache, elab_ctx.ElabCtx),
  elab_types.ElaborateError,
)

typecheck_unit

</>

pub fn typecheck_unit(
  unit: ast.Unit,
  cache: types.TypeCache,
) -> Result(
  #(ast.Unit, types.TypeCache),
  elab_types.ElaborateError,
)

✨