pub(all) struct Mutant {
  candidate : MutationCandidate
  source : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MutationCandidate {
  id : Int
  rule : MutationRule
  span : SourceSpan
  original : String
  replacement : String
  line_text : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MutationFilter {
  kinds : Array[MutationKind]
  labels : Array[String]
  line_start : Int?
  line_end : Int?
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum MutationKind {
  BooleanLiteral
  EqualityOperator
  RelationalOperator
  ArithmeticOperator
  LogicalOperator
  NumericLiteral
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct MutationRule {
  kind : MutationKind
  from : String
  to : String
  label : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct MutationSummary {
  file : String
  candidate_count : Int
  boolean_count : Int
  equality_count : Int
  relational_count : Int
  arithmetic_count : Int
  logical_count : Int
  numeric_count : Int
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct RuleCatalogEntry {
  rule : MutationRule
  profile : RuleProfile
  description : String
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum RuleProfile {
  BasicProfile
  BoundaryProfile
  ExperimentalProfile
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug, 
@moonbitlang/core/json.FromJson
FromJson)

pub(all) struct RuleSetValidation {
  rule_count : Int
  duplicate_labels : Array[String]
  empty_tokens : Array[String]
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct SourceSpan {
  file : String
  start : Int
  end : Int
  line : Int
  column : Int
} derive(Eq, ToJson, 
@moonbitlang/core/debug.Debug
Debug)

fn apply_mutation(source : String, candidate : MutationCandidate) -> String

fn boundary_literal_rules() -> Array[MutationRule]

fn default_rules() -> Array[MutationRule]

fn discover(source : String, file? : String) -> Array[MutationCandidate]

fn discover_filtered(source : String, filter : MutationFilter, file? : String) -> Array[MutationCandidate]

fn discover_with_profile(source : String, profile : RuleProfile, file? : String) -> Array[MutationCandidate]

fn discover_with_rules(source : String, rules : ArrayView[MutationRule], file? : String) -> Array[MutationCandidate]

fn experimental_rules() -> Array[MutationRule]

fn filter_candidates(candidates : ArrayView[MutationCandidate], filter : MutationFilter) -> Array[MutationCandidate]

fn format_mutant_patch(mutant : Mutant) -> String

fn format_rule_catalog(profile? : RuleProfile) -> String

fn generate_mutants(source : String, file? : String) -> Array[Mutant]

fn mutant_by_id(source : String, id : Int, file? : String) -> Mutant?

fn mutation_kind_label(kind : MutationKind) -> String

fn parse_rule_profile(text : String) -> RuleProfile?

fn profile_label(profile : RuleProfile) -> String

fn rule(kind : MutationKind, from : String, to : String, label : String) -> MutationRule

fn rule_catalog() -> Array[RuleCatalogEntry]

fn rules_for_profile(profile : RuleProfile) -> Array[MutationRule]

fn summarize(source : String, file? : String) -> MutationSummary

fn summarize_candidates(file : String, candidates : ArrayView[MutationCandidate]) -> MutationSummary

fn validate_rules(rules : ArrayView[MutationRule]) -> RuleSetValidation