pub(all) suberror LibertyError {
  LibertyError(String, String, Position)
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Atom {
  Word(String)
  Text(String)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Cell {
  name : String
  area : Double?
  pins : Array[Pin]
  source : Group
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Change {
  kind : ChangeKind
  path : String
  before : String?
  after : String?
  preview_truncated : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum ChangeKind {
  Added
  Removed
  Modified
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Comparison {
  total_changes : Int
  changes : Array[Change]
  truncated : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct CompatibilityReport {
  standard : StandardEdition
  library : String
  findings : Array[Finding]
  features : Array[FormatFeature]
  roundtrip_verified : Bool
  complete_conformance : Bool
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Finding {
  code : String
  severity : Severity
  path : String
  message : String
  position : Position
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct FormatFeature {
  family : String
  occurrences : Int
  evaluation : String
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Group {
  kind : String
  arguments : Array[Array[Atom]]
  items : Array[Node]
  position : Position
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Inventory {
  cells : Int
  pins : Int
  arcs : Int
  tables : Int
  errors : Int
  warnings : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Library {
  name : String
  units : Units?
  cells : Array[Cell]
  templates : Array[Group]
  findings : Array[Finding]
  source : Group
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Limits {
  max_input_chars : Int
  max_tokens : Int
  max_token_chars : Int
  max_depth : Int
  max_nodes : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Logic {
  Signal(String)
  Constant(Bool)
  Not(Logic)
  And(Logic, Logic)
  Or(Logic, Logic)
  Xor(Logic, Logic)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Lookup {
  value : Double
  clamped : Bool
  extrapolated : Bool
  x_interval : Int
  y_interval : Int?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct ModelLimits {
  max_pins : Int
  max_work : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Node {
  Attribute(String, Array[Atom], Position)
  Complex(String, Array[Array[Atom]], Position)
  Section(Group)
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Pin {
  name : String
  direction : String?
  capacitance : Double?
  max_capacitance : Double?
  max_transition : Double?
  function : String?
  timings : Array[TimingArc]
  source : Group
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Position {
  offset : Int
  line : Int
  column : Int
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Quantity {
  Time
  Capacitance
  Voltage
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum RangePolicy {
  Reject
  Clamp
  Extrapolate
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum Severity {
  Warning
  Error
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum StandardEdition {
  Liberty2017_06
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Table {
  kind : String
  template_name : String
  variable_1 : String?
  variable_2 : String?
  index_1 : Array[Double]
  index_2 : Array[Double]
  values : Array[Double]
  position : Position
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TableData {
  kind : String
  template_name : String
  axes : Array[Array[Double]]
  rows : Array[Array[Double]]
  position : Position
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TimingArc {
  related_pins : Array[String]
  timing_type : String?
  timing_sense : String?
  condition : String?
  tables : Array[Table]
  position : Position
} derive(
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TimingQuery {
  cell : String
  pin : String
  related_pin : String
  table_kind : String
  condition : String?
  slew_seconds : Double
  load_farads : Double
  seconds : Double
  raw_value : Double
  clamped : Bool
  extrapolated : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Token {
  kind : TokenKind
  text : String
  position : Position
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) enum TokenKind {
  Bare
  Quoted
  Symbol
  End
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct TruthRow {
  inputs : Array[(String, Bool)]
  output : Bool
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

pub(all) struct Units {
  time_seconds : Double
  capacitance_farads : Double
  voltage_volts : Double?
} derive(Eq, 
@moonbitlang/core/debug.Debug
Debug)

fn atom_text(atom : Atom) -> String

fn atoms_text(atoms : Array[Atom]) -> String

fn build_library(root : Group, model_limits? : ModelLimits) -> Library raise LibertyError

fn compare_libraries(left : Library, right : Library, max_changes? : Int) -> Comparison raise LibertyError

fn comparison_json(comparison : Comparison) -> Json

fn compatibility_json(report : CompatibilityReport) -> Json

fn compatibility_report(root : Group, standard? : StandardEdition) -> CompatibilityReport raise LibertyError

fn evaluate_logic(expression : Logic, values : Map[String, Bool]) -> Bool raise LibertyError

fn findings_json(findings : Array[Finding]) -> Json

fn finite_number(text : String, position? : Position) -> Double raise LibertyError

fn format_logic(expression : Logic) -> String raise LibertyError

fn inventory_json(library : Library) -> Json

fn lint_json(library : Library) -> Json

fn lint_library(library : Library) -> Array[Finding]

fn load_library(text : String, limits? : Limits, model_limits? : ModelLimits) -> Library raise LibertyError

fn logic_signals(expression : Logic) -> Array[String] raise LibertyError

fn lookup_table(table : Table, x : Double, y? : Double, policy? : RangePolicy) -> Lookup raise LibertyError

fn number_list(atoms : Array[Atom], position? : Position) -> Array[Double] raise LibertyError

fn parse_fragment(text : String, limits? : Limits) -> Array[Node] raise LibertyError

fn parse_liberty(text : String, limits? : Limits) -> Group raise LibertyError

fn parse_liberty_sources(text : String, sources : Map[String, String], limits? : Limits) -> Group raise LibertyError

fn parse_logic(text : String) -> Logic raise LibertyError

fn parse_standard(text : String) -> StandardEdition raise LibertyError

fn parse_unit(text : String, quantity : Quantity) -> Double raise LibertyError

fn query_json(query : TimingQuery) -> Json