Ops.data_apis: def of near-v-framework@0.4.0.0
Import: import near-v-framework@0.4.0.0/domain/architecture/ops.bend as Ops
Lines 538-546 of near-v-framework@0.4.0.0/domain/architecture/ops.bend: https://jend.leeeet.dev/read.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&start_line=538&end_line=546

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

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=is_data_api
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=one_if
  https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/container/type.bend&name=Container