pub(all) suberror ConfigError {
  Invalid(String)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub struct AdapterDef {
  pkg_alias : String
  type_name : String
  pkg : String
  ark_type : String
  ark_import : String
  acquire : String
  release : String
}

pub struct AdapterSpec {
  type_name : String
  ark_type : String
  ark_import : String
  acquire : String
  release : String
}

pub struct BuildStage {
  id : String
  description : String
  dependencies : Array[String]
  abi : String?
  outputs : Array[String]
}

pub struct Callable {
  name : String
  params : Array[FieldDef]
  result : TypeExpr
  is_async : Bool
  raises : Bool
}

pub struct CliOptions {
  command : Command
  config : String
  sdk : String?
  abis : Array[String]
  output : String
  json : Bool
  dry_run : Bool
  cache : Bool
  target : String?
  name : String?
  package_name : String?
  ohos : String?
  dist : String?
  module_dir : String?
  deveco : String?
  assemble : Bool
}

pub(all) enum Command {
  Build
  Doctor
  Check
  Inspect
  Plan
  Verify
  Init
  Har
  Help
  Version
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub struct Config {
  module_dir : String
  package_name : String
  native_module : String
  functions : Array[Function]
}

pub struct ContentFingerprint {
  domain : String
  name : String
  digest : String
}

pub struct ConversionLimits {
  depth : Int
  nodes : Int
  bytes : Int
}

pub(all) struct Diagnostic {
  stage : String
  code : String
  message : String
  context : Array[String]
}

pub struct ElfInfo {
  abi : String
  dependencies : Array[String]
  imports : Array[String]
  exports : Array[String]
  soname : String?
  segments : Array[ElfSegment]
}

pub struct ElfSegment {
  offset : Int
  file_size : Int
  memory_size : UInt64
  address : UInt64
  flags : Int
  alignment : UInt64
}

pub struct EnvironmentFact {
  name : String
  actual : String
  expected : String
  available : Bool
}

pub struct FieldDef {
  name : String
  kind : TypeExpr
}

pub struct Function {
  name : String
  params : Array[Parameter]
  result : ValueType
}

pub struct GeneratedArtifacts {
  wrapper : String
  package_file : String
  header : String
  embed : String
  native : String
  declarations : String
  cmake : String
}

pub(all) struct InitOptions {
  name : String
  package_name : String
  ohos : String?
}

pub struct InterfaceFunction {
  name : String
  params : Array[TypeExpr]
  result : TypeExpr
  raises : Bool
  unsupported : String?
}

pub struct InterfaceRecord {
  name : String
  fields : Array[FieldDef]
  unsupported : String?
}

pub struct InterfaceType {
  name : String
  generic : Bool
}

pub(all) struct NativeBuild {
  sources : Array[String]
  include_dirs : Array[String]
  defines : Array[String]
  libraries : Array[String]
}

pub struct NativeDescriptor {
  pkg : String
  sources : Array[String]
  include_dirs : Array[String]
  defines : Array[String]
  libraries : Array[String]
  abis : Array[String]
  adapters : Array[AdapterSpec]
}

pub struct PackageFile {
  path : String
  size : Int
  checksum : String
}

pub struct PackageInterface {
  functions : Array[InterfaceFunction]
  records : Array[InterfaceRecord]
  types : Array[InterfaceType]
}

pub struct PackageManifest {
  schema : Int
  module_name : String
  version : String
  abis : Array[String]
  files : Array[PackageFile]
  libraries : Array[String]
}

pub struct Parameter {
  name : String
  kind : ValueType
}

pub struct Project {
  version : Int
  module_dir : String
  package_name : String
  native_module : String
  workspace : String?
  records : Array[RecordDef]
  handles : Array[String]
  functions : Array[Callable]
  adapters : Array[AdapterDef]
}

pub struct RecordDef {
  name : String
  fields : Array[FieldDef]
}

pub struct Sha256 {
  state : Array[UInt]
  pending : Array[Byte]
  count : UInt64
}

pub(all) enum TypeExpr {
  Scalar(ValueType)
  List(TypeExpr)
  Record(String)
  Handle(String)
  External(String, String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ValueType {
  Int32
  Float64
  Boolean
  Text
  Binary
  Void
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn abi_triple(abi : String) -> String

fn build_stages(project : Project, abis : Array[String]) -> Array[BuildStage] raise ConfigError

fn c_header(config : Config) -> String

fn cmake_source(config : Config) -> String

fn command_name(command : Command) -> String

fn compiler_commands(plan : String, moon_home : String) -> Array[Array[String]] raise ConfigError

fn content_cache_key(entries : Array[ContentFingerprint]) -> String raise ConfigError

fn conversion_limits() -> ConversionLimits

fn declarations(config : Config) -> String

fn embed_source(config : Config) -> String

fn empty_native_build() -> NativeBuild

fn environment_fact(name : String, actual : String, expected : String, available : Bool) -> EnvironmentFact

fn environment_report(facts : Array[EnvironmentFact]) -> Json

fn failure_report(command : String, diagnostic : Diagnostic, parameter? : Bool) -> Json

fn fingerprint(domain : String, name : String, data : Bytes) -> ContentFingerprint

fn forbidden_build_hook(package_file : String) -> String?

fn har_facade(module_name : String, declarations : String) -> String

fn har_package_manifest(text : String, module_name : String) -> String raise ConfigError

fn har_provenance(manifest : PackageManifest, manifest_sha256 : String) -> Json

fn identifier(name : String) -> Bool

fn ignored_cache_component(name : String) -> Bool

fn init_files(options : InitOptions) -> Array[(String, String)] raise ConfigError

fn inspect_elf(bytes : Bytes) -> ElfInfo raise ConfigError

fn interface_imports(text : String) -> Map[String, String]

fn linked_packages(link_core : Array[String]) -> Array[(String, String)]

fn moonohos_version() -> String

fn native_cmake(target : String, native : NativeBuild) -> String

fn native_descriptor_file() -> String

fn native_source(config : Config) -> String

fn native_stubs(package_file : String) -> Array[String]

fn package_file(path : String, data : Bytes) -> PackageFile raise ConfigError

fn package_requirements(module_name : String, abis : Array[String]) -> Array[String]

fn parse_abis(text : String) -> Array[String] raise ConfigError

fn parse_cli(args : Array[String]) -> CliOptions raise ConfigError

fn parse_config(text : String) -> Config raise ConfigError

fn parse_native_descriptor(text : String, pkg : String, stubs : Array[String]) -> NativeDescriptor raise ConfigError

fn parse_package_interface(text : String) -> PackageInterface

fn parse_package_manifest(text : String) -> PackageManifest raise ConfigError

fn parse_project(text : String) -> Project raise ConfigError

fn parse_type_expr(text : String, result? : Bool) -> TypeExpr raise ConfigError

fn pinned_environment() -> Array[(String, String)]

fn relative_path(from : String, to : String) -> String

fn resolve_adapters(project : Project, descriptors : Array[NativeDescriptor], imports : Map[String, String]) -> Array[AdapterDef] raise ConfigError

fn runtime_files() -> Array[String]

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

fn sdk_files() -> Array[String]

fn seal_manifest(manifest : Json, files : Array[PackageFile]) -> Json raise ConfigError

fn sha256(data : Bytes) -> String

fn signature(fn_ : Function) -> String

fn staged_workspace(count : Int) -> String

fn success_report(command : String, result : Json) -> Json

fn system_library_allowlist() -> Array[String]

fn tokenize(line : String) -> Array[String] raise ConfigError

fn valid_module_name(name : String) -> Bool

fn validate_distribution_metadata(json : Json) -> Unit raise ConfigError

fn validate_har_module(module_json : String) -> Unit raise ConfigError

fn validate_package_path(path : String) -> Unit raise ConfigError

fn validate_stages(stages : Array[BuildStage]) -> Unit raise ConfigError

fn verify_import_file(text : String, manifest : PackageManifest) -> Unit raise ConfigError

fn verify_interface(config : Config, text : String) -> Unit raise ConfigError

fn verify_library(info : ElfInfo, manifest : PackageManifest, abi : String) -> Unit raise ConfigError

fn verify_type_package(text : String, manifest : PackageManifest) -> Unit raise ConfigError

fn workspace_members(text : String) -> Array[String] raise ConfigError

fn wrapper_package(config : Config) -> String

fn wrapper_source(config : Config) -> String