def data_apis

near-v-framework@0.4.0.0 · domain/architecture/ops.bend:538

import Base
import near-v-framework@0.4.0.0/domain/architecture/system/container/type.bend as Ct

538# The system's own data APIs. "Exactly one" means one store.
539def data_apis(cs: List<&2, Ct.Container>) -> Nat:
540  match cs:
541    case []:
542      0n
543    case c <> rest:
544      match c:
545        case Ct.Container{_, _, _, cat, _, _, _, _, _, _, _, _, _, _, _}:
546          Nat.add(one_if(is_data_api(cat)), data_apis(rest))