Ops.all_private: 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 303-308 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=303&end_line=308 import Base import near-v-framework@0.4.0.0/domain/architecture/system/container/type.bend as Ct def all_private(ins: List<&2, String>, +cs: List<&2, Ct.Container>) -> Bool: match ins: case []: True{} case i <> rest: exposure_private(i, cs) && all_private(rest, cs) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/ops.bend&name=exposure_private https://jend.leeeet.dev/definition.txt?path=near-v-framework@0.4.0.0/domain/architecture/system/container/type.bend&name=Container