~/jendhub

def sr_len

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

import bend-ml-llama@0.2.1.0/main.bend as BendMlLlama
import Base

690def sr_len(sr: SR) -> Nat:
691  match sr:
692    case SR{k, s}:
693      List.length(&2, F32, s)

Uses (4)

Used by (3)