class-to-yes-index := (: BTreeEqEOF BTreeEq); is-class := λ(: tag String). (: ( (let r (.lookup( class-to-yes-index tag 0_u64 ))) r ) U64);