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

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
}

pub struct CliOptions {
  command : Command
  config : String
  sdk : String?
  abis : Array[String]
  output : String
  json : Bool
  dry_run : Bool
  cache : Bool
}

pub(all) enum Command {
  Build
  Doctor
  Check
  Inspect
  Plan
  Verify
  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 struct InterfaceFunction {
  name : String
  params : Array[TypeExpr]
  result : TypeExpr
  unsupported : String?
}

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

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

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

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

pub struct Parameter {
  name : String
  kind : ValueType
}

pub struct Project {
  module_dir : String
  package_name : String
  native_module : String
  records : Array[RecordDef]
  functions : Array[Callable]
}

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)
} 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 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 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 identifier(name : String) -> Bool

fn ignored_cache_component(name : String) -> Bool

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

fn native_source(config : Config) -> 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_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 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 success_report(command : String, result : Json) -> Json

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

fn validate_distribution_metadata(json : Json) -> 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 wrapper_package(config : Config) -> String

fn wrapper_source(config : Config) -> String