pub suberror WriteError {
  InvalidDocument(String)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Attribute {
  name : String
  value : Value
  span : Span
} derive(Eq)

pub struct BatchReview {
  // private fields
}

pub(all) enum Body {
  Entry(Array[Attribute])
  Add(Array[Attribute])
  Delete
  Modify(Array[Modification])
  Rename(String, Bool, String?)
} derive(Eq)

pub(all) struct Control {
  oid : String
  critical : Bool
  value : Value?
  span : Span
} derive(Eq)

pub(all) struct Diagnostic {
  code : String
  severity : String
  span : Span
  reason : String
} derive(Eq, ToJson)

pub(all) struct DistinguishedName {
  rdns : Array[RelativeName]
} derive(Eq)

pub(all) struct Document {
  mode : String
  records : Array[Record]
} derive(Eq)

pub(all) struct Modification {
  operation : String
  attribute : String
  values : Array[Attribute]
  span : Span
} derive(Eq)

pub(all) struct NameAssertion {
  attribute : String
  value : NameValue
  byte_offset : Int
} derive(Eq)

pub(all) struct NameError {
  code : String
  byte_offset : Int
  reason : String
} derive(Eq, ToJson)

pub(all) enum NameValue {
  Text(Bytes)
  Ber(Bytes)
} derive(Eq)

pub(all) struct Options {
  allow_missing_version : Bool
  deny_delete : Bool
} derive(Eq)

pub(all) struct Record {
  dn : String
  controls : Array[Control]
  body : Body
  span : Span
} derive(Eq)

pub(all) struct RelativeName {
  assertions : Array[NameAssertion]
} derive(Eq)

pub(all) struct Report {
  document : Document
  diagnostics : Array[Diagnostic]
  names_checked : Bool
}

pub(all) struct Review {
  items : Array[ReviewItem]
  total_items : Int
  truncated : Bool
  analysis_complete : Bool
  input_exit_code : Int
  record_count : Int
} derive(Eq)

pub(all) struct ReviewItem {
  code : String
  level : String
  record_index : Int
  dn : String
  attribute : String?
  value_count : Int
  span : Span
  title : String
  reason : String
  action : String
} derive(Eq)

pub(all) struct ReviewMetadata {
  input_sha256 : String
  input_byte_length : Int
  options : Options
  legacy_dn_spaces : Bool
  risk_policy : RiskPolicy
} derive(Eq)

pub(all) struct RiskPolicy {
  deny_clear : Bool
  deny_rename : Bool
} derive(Eq, ToJson)

pub struct SnapshotDiff {
  // private fields
}

pub(all) struct Span {
  line : Int
  end_line : Int
} derive(Eq, ToJson)

pub(all) enum Value {
  Inline(Bytes)
  External(String)
} derive(Eq)

fn check(data : Bytes, options? : Options, legacy_dn_spaces? : Bool, risk_policy? : RiskPolicy) -> Report

fn check_text(text : String, options? : Options, legacy_dn_spaces? : Bool, risk_policy? : RiskPolicy) -> Report

fn compare_snapshots(before : Bytes, after : Bytes, allow_missing_version? : Bool, legacy_dn_spaces? : Bool, before_sha256? : String?, after_sha256? : String?) -> SnapshotDiff

fn document_json(document : Document) -> Json

fn parse(data : Bytes, options? : Options) -> Report

fn parse_dn(text : String) -> Result[DistinguishedName, NameError]

fn parse_rdn(text : String) -> Result[RelativeName, NameError]

fn parse_text(text : String, options? : Options) -> Report

fn same_attribute_description(a : String, b : String) -> Bool

fn version() -> String

fn write(document : Document) -> String raise WriteError