def KA.then

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

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

import Base

878def KA.then(-R: Type, -cap: Nat, -t: Nat, ka: KA<cap, t>, then: KV<cap, t> -> List<&2, F32> -> R) -> R:
879  match ka:
880    case KA{kv, o}:
881      then(kv, o)

Uses (5)

Used by (2)