pub(all) struct AdvanceTable {
  advances : Map[Int, Double]
  narrow : Double
  wide : Double
}

pub(all) struct Label {
  lines : Array[Array[Span]]
  widths : Array[Double]
  width : Double
  height : Double
  size : Double
  line_height : Double
  heights : Array[Double]?
}

pub(all) enum MathBody {
  Svg(String)
  Html(String)
}

pub(all) struct MathMarkup {
  body : MathBody
  width : Double
  height : Double
}

pub(all) struct Span {
  text : String
  style : Int
  icon : String?
  width : Double
  math : MathMarkup?
}

pub(all) struct TextMeasurer {
  width_of : (String, Double, Int) -> Double
}

let STYLE_BOLD : Int

let STYLE_ITALIC : Int

let STYLE_MONO : Int

let STYLE_SUB : Int

let STYLE_SUP : Int

let STYLE_UNDERLINE : Int

fn decode_entities(text : String) -> String

fn has_math(line : Array[Span]) -> Bool

fn icon_markup(name : String) -> String

fn label_line(label : Label, i : Int) -> Label

fn layout_label(raw : String?, markdown : Bool, measurer : TextMeasurer, size : Double, max_width : Double, base? : Int) -> Label

fn line_middle(label : Label, i : Int) -> Double

fn marker_end(text : String, i : Int) -> Int

fn math_active() -> Bool

let metrics_measurer : TextMeasurer

fn table_measurer(table_of : (Int) -> AdvanceTable, units_per_em : Double) -> TextMeasurer

fn typeset(tex : String, size : Double) -> MathMarkup?

fn with_heights(label : Label) -> Label

fn[T] with_icons(icons : (String) -> String??, run : () -> T raise?) -> T raise?

fn[T] with_math(math : (String, Double) -> 
@moonbitlang/core/json.Json
Json??, run : () -> T raise?) -> T raise?

fn[T] without_math(run : () -> T raise?) -> T raise?

fn written_codes(text : String) -> String