Notch.render: def of bend-kit-notch@0.4.0.0
Import: import bend-kit-notch@0.4.0.0/notch.bend as Notch
Lines 217-222 of bend-kit-notch@0.4.0.0/notch.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-notch@0.4.0.0/notch.bend&start_line=217&end_line=222

import Base

# One line, without its newline, whatever the level. t is the time text; None leaves it out.
def render(lg: Logger, t: Maybe<&2, String>, lvl: Level, msg: String,
  fs: List<&2, Field>) -> String:
  match lg:
    case Logger{m, f, c}:
      render.as(f, t, lvl, msg, List.append(&2, Field, c, fs))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=Level
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=Logger
  https://jend.leeeet.dev/definition.txt?path=bend-kit-notch@0.4.0.0/notch.bend&name=render.as