pub(open) trait Resolver {
  fn txt(Self, String) -> Array[String]
  fn a(Self, String) -> Array[String]
  fn aaaa(Self, String) -> Array[String]
  fn mx(Self, String) -> Array[String]
  fn ptr(Self, String) -> Array[String]
}

pub struct AuthReport {
  dkim : Array[DkimResult]
  spf : SpfResult?
  dmarc : DmarcResult?
}

pub enum AuthStatus {
  Pass
  Fail
  SoftFail
  None_
  Neutral
  TempError
  PermError
} derive(Eq)

pub enum CanonMode {
  Simple
  Relaxed
}

pub struct DkimResult {
  domain : String
  selector : String
  algorithm : String
  status : AuthStatus
  reason : String
  evidence : Array[Evidence]
}

pub struct DkimSignature {
  domain : String
  selector : String
  algorithm : String
  header_canon : CanonMode
  body_canon : CanonMode
  signed_headers : Array[String]
  body_hash : String
  signature : String
  identity : String
  length_limit : Int?
  expiration : Int?
}

pub enum DmarcAlign {
  AlignRelaxed
  AlignStrict
}

pub struct DmarcPolicy {
  policy : String
  subdomain_policy : String?
  pct : Int
  adkim : DmarcAlign
  aspf : DmarcAlign
  rua : Array[String]
  ruf : Array[String]
}

pub struct DmarcResult {
  domain : String
  policy : String
  disposition : String
  dkim_aligned : Bool
  spf_aligned : Bool
  status : AuthStatus
  reason : String
}

pub struct Evidence {
  kind : String
  label : String
  detail : String
}

pub struct HeaderField {
  name : String
  raw : Bytes
}

pub struct MacroCtx {
  sender : String
  domain : String
  ip : String
  helo : String
}

pub struct Message {
  headers : Array[HeaderField]
  body : Bytes
}

pub struct RsaPublicKey {
  modulus : 
@moonbitlang/core/bigint.BigInt
BigInt
  exponent : 
@moonbitlang/core/bigint.BigInt
BigInt
  byte_len : Int
}

type SpfCounter

pub enum SpfKind {
  All
  Include
  A
  Mx
  Ptr
  Ip4
  Ip6
  Exists
  Redirect
  Exp
  Unknown
} derive(Eq)

type SpfOutcome

pub enum SpfQualifier {
  Plus
  Minus
  Tilde
  Question
} derive(Eq)

pub struct SpfRecord {
  terms : Array[SpfTerm]
}

pub struct SpfResult {
  domain : String
  identity : String
  status : AuthStatus
  qualifier : String
  mechanism : String
  reason : String
  dns_lookups : Int
  void_lookups : Int
}

pub struct SpfTerm {
  qualifier : SpfQualifier
  kind : SpfKind
  value : String
  cidr4 : Int?
  cidr6 : Int?
  raw : String
}

pub struct Zone {
  records : Array[(String, String, Array[String])]
}

fn ascii_lower(text : StringView) -> String

fn authentication_results(report : AuthReport, authserv_id : String) -> String

fn bytes_equal(a : BytesView, b : BytesView) -> Bool

fn canonicalize_body(body : Bytes, mode : CanonMode) -> Bytes

fn canonicalize_header(field : HeaderField, mode : CanonMode) -> Bytes

let dkim_expected_body_hash : String

let dkim_relaxed_eml : String

let dkim_tampered_body_eml : String

let dkim_tampered_header_eml : String

let dkim_zone_text : String

fn dmarc_aggregate_report(report : AuthReport, org_name : String, email : String, begin : Int, end : Int, domain : String) -> String

fn[R : Resolver] evaluate_dmarc(resolver : R, from_domain : String, dkim : Array[DkimResult], spf : SpfResult?, sample? : Int) -> DmarcResult

fn[R : Resolver] evaluate_spf(resolver : R, domain : String, ip : String, helo? : String, sender? : String) -> SpfResult

fn expand_macro(pattern : String, ctx : MacroCtx, current_domain : String) -> String

fn from_domain(message : Message) -> String?

fn normalize_crlf(input : BytesView) -> Bytes

fn normalize_name(name : String) -> String

fn organizational_domain(domain : String) -> String

fn parse_dkim_signature(field : HeaderField) -> DkimSignature?

fn parse_dmarc_record(text : String) -> DmarcPolicy?

fn parse_ipv4(text : String) -> Array[Int]?

fn parse_ipv6(text : String) -> Array[Int]?

fn parse_message(input : BytesView) -> Message

fn parse_spf_record(text : String) -> SpfRecord?

fn parse_tags(text : String) -> Array[(String, String)]

fn render_json(report : AuthReport) -> String

fn render_text(report : AuthReport) -> String

fn rsa_public_key_from_der(der : Bytes) -> RsaPublicKey?

fn rsa_verify_sha256(key : RsaPublicKey, message : BytesView, signature : BytesView) -> Bool

fn rsa_verify_sha256_base64(public_key_b64 : String, message : BytesView, signature_b64 : String) -> Bool

fn run_selftest() -> Array[String]

fn selftest_case_count() -> Int

fn sha256(data : BytesView) -> Bytes

fn strip_ws(text : StringView) -> String

fn trim_wsp(text : StringView) -> String

fn[R : Resolver] verify_dkim(resolver : R, message : Message, signature_field : HeaderField, now? : Int) -> DkimResult

fn[R : Resolver] verify_dkim_all(resolver : R, message : Message, now? : Int) -> Array[DkimResult]

fn[R : Resolver] verify_message(resolver : R, raw : BytesView, ip : String, mail_from : String, helo : String, now : Int, sample : Int) -> AuthReport

fn xml_escape(text : StringView) -> String