Font.font.metric: def of gralha-truetype@0.1.0.1
Import: import gralha-truetype@0.1.0.1/font.bend as Font
Lines 39-41 of gralha-truetype@0.1.0.1/font.bend: https://jend.leeeet.dev/read.txt?path=gralha-truetype@0.1.0.1/font.bend&start_line=39&end_line=41

import Base

def font.metric(book: FontBook, face: U32, name: String, fallback: F32) -> F32:
  FontBook{glyphs, kerning, faceMetrics, faces} = book
  font.number.result(Map.get(F32, fallback, faceMetrics, U32.show(face) ++ ":" ++ name))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Map.get
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=gralha-truetype@0.1.0.1/font.bend&name=FontBook
  https://jend.leeeet.dev/definition.txt?path=gralha-truetype@0.1.0.1/font.bend&name=font.number.result