Num.Impl.fmt: def of bend-lawful-stdlib@0.1.0.0
Import: import bend-lawful-stdlib@0.1.0.0/src/float/num.bend as Num
Lines 19-22 of bend-lawful-stdlib@0.1.0.0/src/float/num.bend: https://jend.leeeet.dev/read.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/num.bend&start_line=19&end_line=22

import Base
import bend-lawful-stdlib@0.1.0.0/src/float/format.bend as Fmt

def Impl.fmt(-T: Data, i: Impl<T>) -> Fmt.Format:
  match i:
    case Impl{fmt, value, add, mul}:
      fmt

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/format.bend&name=Format
  https://jend.leeeet.dev/definition.txt?path=bend-lawful-stdlib@0.1.0.0/src/float/num.bend&name=Impl