def ka_of

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

import Base

873def ka_of(-cap: Nat, -t: Nat, at: AT) -> KA<cap, t>:
874  match at:
875    case AT{ks, vs, o}:
876      KA{KV{ks, vs}, o}