pub(all) suberror MbError {
  MbError(String)
}

pub struct MoonSpec {
  download_key : String
  store_name : String
}

pub struct ToolInstallOpts {
  spec : String
  force : Bool
  bin : String
  moon : String
}

pub struct ToolMeta {
  name : String
  version : String
  bins : Array[String]
  bin : String?
} derive(ToJson, 
@moonbitlang/core/json.FromJson
FromJson)

pub struct ToolchainEnv {
  moon : String
  home : String?
  bin : String?
}

let CLI_BASE : String

let MB_VERSION : String

let MOONCAKES_API : String

let MOONCAKES_DOWNLOAD : String

fn base_name(path : String) -> String

fn bin_dir() -> String raise MbError

fn build_tool(src : String, tc : ToolchainEnv) -> Array[(String, String)] raise MbError

fn chmod_exec(path : String) -> Unit

fn cmd_run(moon_version : String, cmd : Array[String]) -> Int raise MbError

fn copy_file(src : String, dst : String) -> Unit raise MbError

fn cstring(s : String) -> Bytes

fn default_toolchain() -> String? raise MbError

fn dir_exists(path : String) -> Bool

fn discover_binaries(src : String) -> Array[(String, String)] raise MbError

fn download(url : String, dest : String, progress : Bool) -> Unit raise MbError

fn effective_toolchain() -> String? raise MbError

fn ensure_shims(version : String) -> Unit raise MbError

fn ensure_tools() -> Unit raise MbError

fn env_or(name : String, default : String) -> String

fn env_prefix(tc : ToolchainEnv) -> String

fn exit(code : Int) -> Unit

fn extract_tar_gz(archive : String, dest : String) -> Unit raise MbError

fn extract_zip(zip_bytes : Bytes, dest : String) -> Unit raise MbError

fn fail(msg : String) -> Unit raise MbError

fn fetch_bytes(url : String) -> Bytes raise MbError

fn fetch_json(url : String) -> Json raise MbError

fn fetch_manifest(name : String, version : String?) -> Json raise MbError

fn fetch_text(url : String) -> String raise MbError

fn file_exists(path : String) -> Bool

fn find_installed_toolchain(version : String) -> String? raise MbError

fn home_dir() -> String raise MbError

fn installed_toolchains() -> Array[String] raise MbError

fn installed_tools() -> Array[ToolMeta] raise MbError

fn is_executable_file(path : String) -> Bool

fn is_tty() -> Bool

fn json_array(obj : Json, key : String) -> Array[Json]?

fn json_bool(obj : Json, key : String) -> Bool?

fn json_field(obj : Json, key : String) -> Json?

fn json_object(obj : Json, key : String) -> Json?

fn json_string(obj : Json, key : String) -> String?

fn latest_moon_cli_version() -> String? raise MbError

fn latest_moonc_version() -> String? raise MbError

fn latest_tool_version(name : String) -> String raise MbError

fn list_dir(path : String) -> Array[String] raise MbError

fn list_dir_unsafe(path : String) -> Array[String]

fn mb_home() -> String raise MbError

fn mkdir_p(path : String) -> Unit raise MbError

fn moon_install(arg : String, force : Bool) -> Unit raise MbError

fn moon_list() -> Unit raise MbError

fn moon_root() -> String raise MbError

fn moon_set_default(version : String) -> Unit raise MbError

fn moon_uninstall(version : String) -> Unit raise MbError

fn moon_which(version : String) -> Unit raise MbError

fn parent_dir(path : String) -> String

fn parse_version_items(j : Json) -> Array[(String, String)]

fn path_exists(path : String) -> Bool

fn path_join(a : String, b : String) -> String

fn path_join_all(parts : Array[String]) -> String

fn platform() -> String raise MbError

fn read_bytes(path : String) -> Bytes raise MbError

fn read_text(path : String) -> String raise MbError

fn readlink(path : String) -> String?

fn remove_shims(version : String) -> Unit raise MbError

fn resolve_moon_spec(arg : String) -> MoonSpec raise MbError

fn resolve_toolchain(explicit : String) -> ToolchainEnv raise MbError

fn rm_rf(path : String) -> Unit raise MbError

fn run_capture(cmd : String) -> String

fn run_checked(cmd : String) -> Unit raise MbError

fn run_cli(argv : Array[String]) -> Int raise MbError

fn run_ok(cmd : String) -> Bool

fn run_status(cmd : String) -> Int

fn set_default_toolchain(version : String) -> Unit raise MbError

fn sha256_hex(data : Bytes) -> String

fn shell_quote(s : String) -> String

fn shim_points_into(target : String, dir : String) -> Bool

fn sync_default_shims() -> Unit raise MbError

fn system_toolchain() -> ToolchainEnv?

fn temp_path() -> String raise MbError

fn tool_bin_dir(meta : ToolMeta) -> String raise MbError

fn tool_dir(name : String, version : String) -> String raise MbError

fn tool_install(spec : String, toolchain_override : String, bin_override : String, force : Bool) -> Unit raise MbError

fn tool_list(outdated : Bool) -> Unit raise MbError

fn tool_root() -> String raise MbError

fn tool_uninstall(spec : String) -> Unit raise MbError

fn tool_uninstall_many(specs : Array[String], all : Bool) -> Unit raise MbError

fn tool_upgrade(names : Array[String], all : Bool, toolchain_override : String) -> Unit raise MbError

fn toolchain_complete(version : String) -> Bool raise MbError

fn toolchain_dir(version : String) -> String raise MbError

fn walk_files(dir : String) -> Array[String] raise MbError

fn write_bytes(path : String, data : Bytes) -> Unit raise MbError

fn write_text(path : String, text : String) -> Unit raise MbError