gleamunison/typecheck

Values

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

✨