def head

import ezx@1.11.0.0/src/ez/prove.bend as Prove

import Base

64# the first line of some text
65def head(text: String) -> String:
66  head.of(String.lines(text))

Uses (3)