def line.file

ezx@1.11.0.0 · src/pub/blurb.bend:90

import ezx@1.11.0.0/src/pub/blurb.bend as Blurb

import Base
import ezx@1.11.0.0/src/pkg/pkg.bend as K

90# a file's first line
91def line.file(file: K.Source) -> String:
92  K.Source{_at, text} = file
93  line.first(text)

Uses (3)

Used by (1)

ezx@1.11.0.0/src/pub/blurb:line.of