pub(all) struct DesignMetrics {
  net_count : Int
  node_count : Int
  connection_count : Int
  resistor_count : Int
  capacitor_count : Int
  total_resistance : Double
  total_capacitance : Double
  average_net_resistance : Double
  average_net_capacitance : Double
  max_resistance_net : String?
  max_capacitance_net : String?
  anomalous_net_count : Int
  anomalous_nets : Array[String]
  nets : Array[NetMetrics]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ElmoreResult {
  status : ElmoreStatus
  root : Int?
  node_delays : Array[NodeDelay]
  max_delay_seconds : Double
  coupling_policy : String
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ElmoreStatus {
  ExactTree
  EmptyNetwork
  NoDriver
  MultipleDrivers
  Disconnected
  Cyclic
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct NetMetrics {
  net_id : Int
  name : String
  node_count : Int
  connection_count : Int
  resistor_count : Int
  capacitor_count : Int
  total_resistance : Double
  detailed_capacitance : Double
  declared_capacitance : Double
  capacitance_delta : Double
  connected_components : Int
  isolated_node_count : Int
  has_cycle : Bool
  max_degree : Int
  complexity_score : Int
  anomalous : Bool
  anomaly_reasons : Array[String]
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct NodeDelay {
  node_id : Int
  delay_seconds : Double
  downstream_capacitance : Double
} derive(
@moonbitlang/core/debug.Debug
Debug)

fn analyze(network : 
@alicedhaha/moonrcinspect/src/model.RCNetwork
RCNetwork) -> DesignMetrics

fn analyze_net(net : 
@alicedhaha/moonrcinspect/src/model.Net
Net) -> NetMetrics

fn elmore_delay(net : 
@alicedhaha/moonrcinspect/src/model.Net
Net) -> ElmoreResult

fn highest_complexity(metrics : DesignMetrics, limit? : Int) -> Array[NetMetrics]