def Cfg.head

bend-ml-llama@0.2.1.0 · main.bend:134

import Base

134# the size of a head
135def Cfg.head(+c: Cfg) -> Nat:
136  head(Cfg.half(c))